]> https://gitweb.dealii.org/ - code-gallery.git/commit
Merge pull request #165 from marcfehling/ci-robust
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 26 Jan 2024 23:13:16 +0000 (16:13 -0700)
committerGitHub <noreply@github.com>
Fri, 26 Jan 2024 23:13:16 +0000 (16:13 -0700)
commit13e03c36032b8fa45a508150a06d713323412eb8
tree23b875b920ae57cc2b6dddaf658fbe7dda6e93c7
parentdbcad2219ba43f5a393b98e238bc7a9ba367b9a8
parent7b0e260d74d3b5fce997b04168bed5b53cc4dd5f
Merge pull request #165 from marcfehling/ci-robust

github-actions: make workflow more robust.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.