]> https://gitweb.dealii.org/ - dealii.git/commit
projects / dealii.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ba99a8) | patch
Split building docker images to two separate workers. 16016/head
authorMarc Fehling <mafehling.git@gmail.com>
Wed, 20 Sep 2023 00:47:23 +0000 (18:47 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Wed, 20 Sep 2023 00:47:23 +0000 (18:47 -0600)
commitce716cf0460e1f933ba0fb821d263ce7ecb1286e
tree55abb32a589b603610d659e6ec3aa23e684f2727tree | snapshot
parent3ba99a82342e4b97c9de160be6a3a3e50414977dcommit | diff
Split building docker images to two separate workers.
.github/workflows/docker.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.