]> https://gitweb.dealii.org/ - dealii.git/commitdiff
docker: Build noble image. 18171/head
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 27 Feb 2025 09:23:39 +0000 (10:23 +0100)
committerMarc Fehling <mafehling.git@gmail.com>
Thu, 27 Feb 2025 09:38:01 +0000 (10:38 +0100)
.github/workflows/docker.yml

index 7de6d1a696e0a80bf8e4c68de2f2ed50c5e7032e..0f41b81d1e71e32fecd947325c00b50c9c53e6a5 100644 (file)
@@ -24,7 +24,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ubuntu_version: [jammy]
+        ubuntu_version: [jammy, noble]
         platform: [linux/amd64]
         # Use only 2 jobs to build, as more jobs
         # would starve the github machine for memory.
@@ -101,7 +101,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ubuntu_version: [jammy]
+        ubuntu_version: [jammy, noble]
 
     steps:
       - name: Download digests

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.