DO NOT MERGE

Rerun CI in firedrake-vanilla/2024-10
thetisproject · Jan 13, 2025 · 042be0d · 042be0d
1 parent d88ab1a
commit 042be0d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -18,7 +18,7 @@ jobs:
     runs-on: self-hosted
     # The docker container to use.
     container:
-      image: firedrakeproject/firedrake-vanilla:latest
+      image: firedrakeproject/firedrake-vanilla:2024-10
     steps:
       - uses: actions/checkout@v2
       - name: Cleanup