Augment CI checks. - Githubissues

dealii / publication-list

The list of known publications that use or cite the deal.II library.

https://www.dealii.org/publications.html

13 stars 55 forks source link

Closed bangerth closed 10 months ago

bangerth commented 10 months ago

I tend to have the https://doi.org/ part in DOI fields. This can be checked automatically via the CI. The same holds for using numbers for month.

This will fail because #564 isn't merged yet. I'll rebase after that is merged.

bangerth commented 10 months ago

Oh, oops :-) Fixed.

bangerth commented 10 months ago

/rebuild

bangerth commented 10 months ago

It seems like the CI checks do not want to start. Anyone see what is happening?

bangerth commented 10 months ago

Ah great, this seems to have worked!