]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16062 from marcfehling/docker
authorMarc Fehling <mafehling.git@gmail.com>
Sat, 30 Sep 2023 18:37:03 +0000 (12:37 -0600)
committerGitHub <noreply@github.com>
Sat, 30 Sep 2023 18:37:03 +0000 (12:37 -0600)
commit191d80e6f6b1d6bccf8eeb1465ebfcbc48053e95
tree35e9b0a3ad51bc58a2ab61785b658e18d66c9ce4
parentac1550e20b68ababd7c0673f694707217a0f6407
parentfe3df266f6da46fed8251239e9a38da07cca971d
Merge pull request #16062 from marcfehling/docker

Docker: Build images with different number of jobs.
.github/workflows/docker.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.