CI: Disable macOS crux-mir build for now

See #1050 for the rationale.
GaloisInc · Oct 12, 2022 · 9041855 · 9041855
1 parent b198ce5
commit 9041855
Showing 1 changed file with 7 additions and 3 deletions.
diff --git a/.github/workflows/crux-mir-build.yml b/.github/workflows/crux-mir-build.yml
@@ -44,9 +44,13 @@ jobs:
       matrix:
         os: [ubuntu-22.04]
         ghc: ["8.10.7", "9.0.2", "9.2.4"]
-        include:
-          - os: macos-12
-            ghc: 9.2.4
+        # include:
+          # Disable the macOS build for now due to
+          # https://github.com/GaloisInc/crucible/issues/1050
+          #
+          # - os: macos-12
+          #   ghc: 9.2.4
+
           # We want Windows soon, but it doesn't need to be now
     name: crux-mir - GHC v${{ matrix.ghc }} - ${{ matrix.os }}
     steps: