From 9e97f26aae4e042c2370a0918d6820df9dfec803 Mon Sep 17 00:00:00 2001 From: "David A. Ham" Date: Thu, 3 Oct 2024 17:14:26 +0100 Subject: [PATCH 1/2] specify that action runners should run linux --- .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 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: From 1737a97725f62e817d1870904a3994f5df8c28e9 Mon Sep 17 00:00:00 2001 From: "David A. Ham" Date: Thu, 3 Oct 2024 17:31:12 +0100 Subject: [PATCH 2/2] more runner specifications --- .github/workflows/build.yml | 2 +- .github/workflows/docker_reuse.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 8511a0b227..0fff428f43 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -136,7 +136,7 @@ jobs: rm -rf firedrake_venv docker_tag: name: "Set the Docker release tag" - runs-on: self-hosted + runs-on: [self-hosted, Linux] if: ${{ github.ref == 'refs/heads/master' }} steps: - name: Set release tag diff --git a/.github/workflows/docker_reuse.yml b/.github/workflows/docker_reuse.yml index 8cee632b13..d2cca11362 100644 --- a/.github/workflows/docker_reuse.yml +++ b/.github/workflows/docker_reuse.yml @@ -26,7 +26,7 @@ on: jobs: docker_workflow: name: "Build the ${{ inputs.target }} container" - runs-on: self-hosted + runs-on: [self-hosted, Linux] steps: - name: Check out the repo uses: actions/checkout@v4