From b54e6e6cb2e49e1b1da39f04e778cf7458174df3 Mon Sep 17 00:00:00 2001 From: Ivan-Velickovic Date: Wed, 9 Oct 2024 22:13:52 +1100 Subject: [PATCH] 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 --- .github/workflows/ci.yaml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index b20db262..9cdfa375 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -58,9 +58,9 @@ 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 @@ -68,8 +68,8 @@ jobs: 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: |