M1 docker install

Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 12, 2024 · 97e67fb · 97e67fb
1 parent e3e44b7
commit 97e67fb
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/.github/workflows/docker-build.yml b/.github/workflows/docker-build.yml
@@ -23,8 +23,13 @@ jobs:
     runs-on: macos-14
     steps:
     - uses: actions/checkout@v4
-    - run: brew install docker
-    - run: colima start
+    - name: Install Docker
+      run: |
+        brew install --cask docker
+        sudo /Applications/Docker.app/Contents/MacOS/install --install-privileged-components --accept-license
+        open -a /Applications/Docker.app --args --unattended
+        echo "We are waiting for Docker to be up and running. It can take over 2 minutes..."
+        while ! /Applications/Docker.app/Contents/Resources/bin/docker info &>/dev/null; do sleep 1; done
     - 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