Split building docker images to two separate workers.

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index a236df96edc4b8caa35d8e7a48491e617e6cea55..55fd8b6e5b54ffa79dab67258cdf2549fd957e09 100644 (file)
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -12,7 +12,14 @@ permissions:
 
 jobs:
   build-master-docker:
+    name: build master docker ${{ matrix.ubuntu_version }}
     runs-on: ubuntu-latest
+
+    strategy:
+      fail-fast: false
+      matrix:
+        ubuntu_version: ["focal", "jammy"]
+
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
@@ -26,26 +33,14 @@ jobs:
           username: ${{ secrets.DOCKER_USERNAME }}
           password: ${{ secrets.DOCKER_PASSWORD }}
 
-      - name: Build and push Docker image of master focal
-        uses: docker/build-push-action@v5
-        with:
-          context: ./contrib/docker/
-          cache-from: type=registry,ref=dealii/dependencies:focal
-          cache-to: type=inline
-          build-args: |
-            VER=master
-            IMG=focal
-          push: ${{github.ref_name == 'master'}}
-          tags: dealii/dealii:master-focal
-
-      - name: Build and push Docker image of master jammy
+      - name: Build and push Docker image of master ${{ matrix.ubuntu_version }}
         uses: docker/build-push-action@v5
         with:
           context: ./contrib/docker/
-          cache-from: type=registry,ref=dealii/dependencies:jammy
+          cache-from: type=registry,ref=dealii/dependencies:${{ matrix.ubuntu_version }}
           cache-to: type=inline
           build-args: |
             VER=master
-            IMG=jammy
+            IMG=${{ matrix.ubuntu_version }}
           push: ${{github.ref_name == 'master'}}
-          tags: dealii/dealii:master-jammy
+          tags: dealii/dealii:master-${{ matrix.ubuntu_version }}