]> https://gitweb.dealii.org/ - dealii.git/commit
Docker: Build images with different number of jobs. 16062/head
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 28 Sep 2023 20:15:02 +0000 (14:15 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Thu, 28 Sep 2023 20:29:39 +0000 (14:29 -0600)
commitfe3df266f6da46fed8251239e9a38da07cca971d
tree6686c7b3ef7f41b766b63a9019e8a3def1a8774e
parentc00406db16fd72e0bfd10d429b62dacf5d89b571
Docker: Build images with different number of jobs.
.github/workflows/docker.yml
contrib/docker/Dockerfile

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.