ci: fix macOS x86-64 SDK artefact

Forgot to cross-compile the Microkit tool to x86-64. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Sep 4, 2024 · 369ea20 · 369ea20
1 parent 4cc0f1f
commit 369ea20
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/sdk.yaml b/.github/workflows/sdk.yaml
@@ -95,7 +95,7 @@ jobs:
           python3.9 -m venv pyenv
           ./pyenv/bin/pip install --upgrade pip setuptools wheel
           ./pyenv/bin/pip install -r requirements.txt
-          ./pyenv/bin/python build_sdk.py --sel4=seL4 --version ${{ env.SDK_VERSION }}
+          ./pyenv/bin/python build_sdk.py --sel4=seL4 --version ${{ env.SDK_VERSION }} --tool-target-triple=x86_64-apple-darwin
       - name: Upload SDK
         uses: actions/upload-artifact@v4
         with: