]> https://gitweb.dealii.org/ - dealii.git/commit
github: reenable runners on push
authorMatthias Maier <tamiko@43-1.org>
Tue, 4 Jul 2023 22:25:06 +0000 (17:25 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 8 Jul 2023 04:43:44 +0000 (23:43 -0500)
commitc0639c14ce4bf10dd141d2c84ede61a812a4dae5
treeaffb0815aa1039816ef6965832a50430a4b3b2e7
parent697a4fe607a77e2b54a2a5a68ee56086d74b2fff
github: reenable runners on push
.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.