]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Added back focal build.
authorLuca Heltai <luca.heltai@sissa.it>
Tue, 25 Jun 2024 10:23:34 +0000 (12:23 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Tue, 25 Jun 2024 10:23:34 +0000 (12:23 +0200)
.github/workflows/docker.yml

index 97e22a0fb2118ac749c9869bf0b42c9d20caf4be..5f932174e7a9fe4bcc32c37535496993cb173146 100644 (file)
@@ -21,7 +21,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ubuntu_version: [jammy]
+        ubuntu_version: [focal, jammy]
         # Use only 1 job to build, as more jobs
         # would starve the github machine for memory.
         include:

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.