diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 3c26f4d7a9..8511a0b227 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -24,7 +24,7 @@ jobs: build: name: "Build Firedrake" # Run on our self-hosted machines - runs-on: self-hosted + runs-on: [self-hosted, Linux] container: image: firedrakeproject/firedrake-env:latest strategy: