]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15630 from tamiko/dont_run_on_drafts
authorMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 22:29:54 +0000 (22:29 +0000)
committerGitHub <noreply@github.com>
Mon, 3 Jul 2023 22:29:54 +0000 (22:29 +0000)
commit6df3704f464321708a99b03abc15adb09e316d61
tree5cb5e78a396d793d6aefa6c1278d8c2ff41c8281
parent28955563835655f89700a77d7609f30027eefb3b
parent6c66ee506651e3ad8300d645f2e16dce91f76399
Merge pull request #15630 from tamiko/dont_run_on_drafts

github: do not run checks on drafts

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.