DO NOT MERGE

Rerun CI in firedrake-vanilla/2024-10 Roll back Thetis to 12 Nov (merge of #375)
thetisproject · Jan 13, 2025 · cf11b31 · cf11b31
1 parent 8c6f9d1
commit cf11b31
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