]> https://gitweb.dealii.org/ - dealii.git/commit
disable github CI build of branches 15607/head
authorTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2023 03:45:54 +0000 (23:45 -0400)
committerTimo Heister <timo.heister@gmail.com>
Mon, 3 Jul 2023 03:45:54 +0000 (23:45 -0400)
commit0f9af8310656411b7efaa94f7d5230baed230ab2
tree1b07eecee01bc908914ea98f97def9a5253f54c6
parent9996343a39c00dc931ad97873c90f5623cace9aa
disable github CI build of branches
.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.