]> https://gitweb.dealii.org/ - dealii.git/commit
github: run all github actions on draft PRs as well 15756/head
authorMatthias Maier <tamiko@43-1.org>
Sun, 16 Jul 2023 01:22:16 +0000 (20:22 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sun, 16 Jul 2023 01:22:16 +0000 (20:22 -0500)
commit319c7a448bf1824428675ad528d117590e825fd4
treefd27853ac62c9c3c6c1761eac86efc02984030f4
parent02ae8ee43b99f9e920300ca612f37e85197d0df4
github: run all github actions on draft PRs as well
.github/workflows/linux.yml
.github/workflows/osx.yml
.github/workflows/tidy.yml
.github/workflows/windows.yml

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.