use self-hosted runner for docker on M1

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 13, 2024 · 2de3f8d · 2de3f8d
1 parent 51d77d1
commit 2de3f8d
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
@@ -20,13 +20,9 @@ jobs:
 
   build-arm64:
     name: Docker images (ARM64)
-    runs-on: macos-14
+    runs-on: mac-mini-m2
     steps:
     - uses: actions/checkout@v4
-    - name: Install Docker
-      run: |
-        brew install --cask docker
-        open -a /Applications/Docker.app --args --unattended --accept-license
     - run: ./build.sh -v -b sel4
     # the following will also build the plain camkes image:
     - run: ./build.sh -v -b camkes -s cakeml -s rust