]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15278 from pcafrica/docker_workflow
authorLuca Heltai <luca.heltai@sissa.it>
Sun, 28 May 2023 20:20:39 +0000 (22:20 +0200)
committerGitHub <noreply@github.com>
Sun, 28 May 2023 20:20:39 +0000 (22:20 +0200)
commit3c4156336ac6feed2504411eb747f4958d52503d
treecbf2283464bac3e31f3828e18e59f764c0800dbe
parentd0b4bc21fc4652b38b31a3221c2713c556e699bc
parent1be2410733a48baba895851a4cfe7f0cd7d6bca9
Merge pull request #15278 from pcafrica/docker_workflow

Use dealii-dependencies Docker for GitHub workflow

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.