Switch to GitHub native runners (#3601)

* Try arm runner to build end user image. * Looks OK for end user, also switch dev images.
FEniCS · Jan 17, 2025 · 372f8b7 · 372f8b7
1 parent d12e512
commit 372f8b7
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/docker-dev-test-env.yml b/.github/workflows/docker-dev-test-env.yml
@@ -29,7 +29,7 @@ jobs:
       matrix:
         variant: ["test-env", "dev-env"]
         mpi: ["openmpi", "mpich"]
-        os: ["ubuntu-latest", "buildjet-4vcpu-ubuntu-2204-arm"]
+        os: ["ubuntu-latest", "ubuntu-24.04-arm"]
 
     runs-on: ${{ matrix.os }}
     steps:

diff --git a/.github/workflows/docker-end-user.yml b/.github/workflows/docker-end-user.yml
@@ -64,7 +64,7 @@ jobs:
           - arch_tag: amd64
             os: ubuntu-latest
           - arch_tag: arm64
-            os: buildjet-8vcpu-ubuntu-2204-arm
+            os: ubuntu-24.04-arm
     runs-on: ${{ matrix.os }}
     steps:
       - name: Create tag without image name