From 33a043e453064249e534d89d1a7d4c9d789a3797 Mon Sep 17 00:00:00 2001
From: Ivan-Velickovic <i.velickovic@unsw.edu.au>
Date: Fri, 25 Aug 2023 11:26:48 +1000
Subject: [PATCH] ci: disable macOS via Nix

Ironically, native setup does work but Nix has issues
---
 .github/workflows/ci.yaml | 46 +++++++++++++++++++--------------------
 1 file changed, 23 insertions(+), 23 deletions(-)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 9c5c7b9a..70f8925c 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -103,26 +103,26 @@ jobs:
         uses: actions/upload-artifact@v3
         with:
           path: build_*/loader.img
-  build_macos_x86_64_nix:
-    name: Build and run VMM examples (macOS x86-64 via Nix)
-    runs-on: macos-12
-    steps:
-      - name: Checkout seL4CP VMM repository
-        uses: actions/checkout@v3
-      - name: Download seL4CP SDK
-        run: ./ci/acquire_sdk.sh sel4cp-sdk.zip ${{ secrets.GITHUB_TOKEN }} macos-x86-64
-        shell: bash
-      - name: Extract seL4CP SDK
-        run: unzip sel4cp-sdk.zip && tar -xf sel4cp-sdk-1.2.6.tar.gz
-      - name: Install Nix
-        uses: cachix/install-nix-action@v22
-        with:
-          nix_path: nixpkgs=channel:nixos-unstable
-      - name: Update Nix channel
-        run: nix-channel --update
-      - name: Build and run VMM examples
-        run: nix-shell --pure --run "./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6"
-      - name: Upload built system images
-        uses: actions/upload-artifact@v3
-        with:
-          path: build_*/loader.img
+  # build_macos_x86_64_nix:
+  #   name: Build and run VMM examples (macOS x86-64 via Nix)
+  #   runs-on: macos-12
+  #   steps:
+  #     - name: Checkout seL4CP VMM repository
+  #       uses: actions/checkout@v3
+  #     - name: Download seL4CP SDK
+  #       run: ./ci/acquire_sdk.sh sel4cp-sdk.zip ${{ secrets.GITHUB_TOKEN }} macos-x86-64
+  #       shell: bash
+  #     - name: Extract seL4CP SDK
+  #       run: unzip sel4cp-sdk.zip && tar -xf sel4cp-sdk-1.2.6.tar.gz
+  #     - name: Install Nix
+  #       uses: cachix/install-nix-action@v22
+  #       with:
+  #         nix_path: nixpkgs=channel:nixos-unstable
+  #     - name: Update Nix channel
+  #       run: nix-channel --update
+  #     - name: Build and run VMM examples
+  #       run: nix-shell --pure --run "./ci/examples.sh ${PWD}/sel4cp-sdk-1.2.6"
+  #     - name: Upload built system images
+  #       uses: actions/upload-artifact@v3
+  #       with:
+  #         path: build_*/loader.img