Also update the deal.II version in the CI infrastructure.

diff --git a/.github/workflows/precice-ci.yml b/.github/workflows/precice-ci.yml
index 6b2e20a69ca2bce32c53fe53ed31c38378689104..2cbd7c548dc602a03685dd49bbda40f86e494a90 100644 (file)
--- a/.github/workflows/precice-ci.yml
+++ b/.github/workflows/precice-ci.yml
@@ -31,5 +31,5 @@ jobs:
          
          echo $command
          
-         docker pull dealii/dealii:v9.2.0-focal
-         docker run -t dealii/dealii:v9.2.0-focal /bin/sh -c "$command";
+         docker pull dealii/dealii:v9.4.0-focal
+         docker run -t dealii/dealii:v9.4.0-focal /bin/sh -c "$command";