]> https://gitweb.dealii.org/ - dealii.git/commitdiff
docker: disable focal image. 18074/head
authorMarc Fehling <mafehling.git@gmail.com>
Mon, 3 Feb 2025 13:04:16 +0000 (14:04 +0100)
committerMarc Fehling <mafehling.git@gmail.com>
Mon, 3 Feb 2025 13:11:21 +0000 (14:11 +0100)
.github/workflows/docker.yml

index 30cc4f7d8af5899108bf74c20dd4ff8153e8bede..c01c2675a950e3893d1f83082f66f151d9859915 100644 (file)
@@ -24,7 +24,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        ubuntu_version: [focal, jammy]
+        ubuntu_version: [jammy]
         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: [focal, jammy]
+        ubuntu_version: [jammy]
 
     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.