]> https://gitweb.dealii.org/ - dealii.git/commit
github: do not run checks on drafts
authorMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 20:00:30 +0000 (15:00 -0500)
committerMatthias Maier <tamiko@43-1.org>
Mon, 3 Jul 2023 22:19:01 +0000 (17:19 -0500)
commit9e62f2a8881395c4e1ddda692d2d2afdd69d8395
treef02797e15ca31ee82f32b8576eda12bfdbc1ebd1
parent28955563835655f89700a77d7609f30027eefb3b
github: do not run checks on drafts
.github/workflows/docker.yml
.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.