From 042be0d25ef0e4615132b9ab9562747e395b4735 Mon Sep 17 00:00:00 2001 From: Stephan Kramer Date: Mon, 13 Jan 2025 14:00:28 +0000 Subject: [PATCH] DO NOT MERGE Rerun CI in firedrake-vanilla/2024-10 --- .github/workflows/build.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index dcfb136f4..178f909e0 100644 --- 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