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