ci: update macOS version

macos-12 is deprecated, use macos-14 which is the current latest GitHub version. Moving to macos-14 means the action is running on Apple Silicon now. Signed-off-by: Ivan-Velickovic <[email protected]>
au-ts · Oct 9, 2024 · b54e6e6 · b54e6e6
1 parent 0e81969
commit b54e6e6
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -58,18 +58,18 @@ jobs:
         with:
           # @ivanv: this needs to be fixed for the restructure
           path: build_*/loader.img
-  build_macos_x86_64:
-    name: Build and run examples (macOS x86-64)
-    runs-on: macos-12
+  build_macos_arm64:
+    name: Build and run examples (macOS ARM64)
+    runs-on: macos-14
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
         with:
           submodules: 'true'
       - name: Download Microkit SDK
         run: |
-          wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-x86-64.tar.gz
-          tar xf microkit-sdk-1.4.1-macos-x86-64.tar.gz
+          wget https://github.com/seL4/microkit/releases/download/1.4.1/microkit-sdk-1.4.1-macos-aarch64.tar.gz
+          tar xf microkit-sdk-1.4.1-macos-aarch64.tar.gz
       - name: Install dependencies (via Homebrew)
         # 'expect' is only a dependency for CI testing
         run: |