Update CI workflow and README for deal.II v9.6.0 support

.github/workflows/dependencies.yml

@@ -17,12 +17,12 @@ jobs:
       fail-fast: false
       matrix:
         system:
-          - ubuntu_version: "focal"
-            dealii_version: 9.4.0-1ubuntu2~bpo20.04.1~ppa1
-            tag: focal-v9.5.1
           - ubuntu_version: "jammy"
-            dealii_version: 9.4.0-1ubuntu2~bpo22.04.1~ppa1
-            tag: jammy-v9.5.1
+            dealii_version: 9.6.0-1~ubuntu22.04.1~ppa1
+            tag: jammy-v9.6.0
+          - ubuntu_version: "noble"
+            dealii_version: 9.6.0-1~ubuntu24.04.1~ppa1
+            tag: noble-v9.6.0
 
     steps:
       - name: Checkout code
@@ -60,4 +60,4 @@ jobs:
           push: true
           tags: |
             ghcr.io/${{ github.repository }}:${{ matrix.system.tag }}
-            dealii/dependencies:${{ matrix.tag }}
+            dealii/dependencies:${{ matrix.system.tag }}

README.md

@@ -30,3 +30,10 @@ not the library itself. These images are helpful to compile your own version
 of deal.II. All images containing only deal.II dependencies can be found at:
 
 <https://hub.docker.com/r/dealii/dependencies/tags/>
+
+# For developers
+
+If you want to update the dependencies image, open a pull request with the
+updated Dockerfile in the `dependencies` directory. The CI will build the image
+and push it to dockerhub. Notice that the image is built for all supported
+Ubuntu versions and tagged accordingly. The CI needs to be run manually.