diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
index 49cd330..ba04453 100644
--- 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