]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15756 from tamiko/test_draft_prs
authorMatthias Maier <tamiko@43-1.org>
Mon, 24 Jul 2023 06:29:55 +0000 (06:29 +0000)
committerGitHub <noreply@github.com>
Mon, 24 Jul 2023 06:29:55 +0000 (06:29 +0000)
commit9b9f5e1c6c0dde16c3dde295bc3861dc4f738f7d
treeacadf87d9afe2b047f6baa6c59a1407a1623e3a2
parentfda8ef60aebc56f30fa0a7fc5b45397e5dc0d525
parent319c7a448bf1824428675ad528d117590e825fd4
Merge pull request #15756 from tamiko/test_draft_prs

github: run all github actions on draft PRs as well

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.