]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9996343) | patch
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
tree1b07eecee01bc908914ea98f97def9a5253f54c6tree | snapshot
parent9996343a39c00dc931ad97873c90f5623cace9aacommit | diff
disable github CI build of branches
.github/workflows/linux.yml diff | blob | history
.github/workflows/osx.yml diff | blob | history
.github/workflows/tidy.yml diff | blob | history
.github/workflows/windows.yml diff | blob | history
Mirror of the development repository for deal.II

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.