Update allowed-failure for MacOS github actions.

GaloisInc · Jan 27, 2021 · f188c76 · f188c76
1 parent e6d0a90
commit f188c76
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/crux-llvm-build.yml b/.github/workflows/crux-llvm-build.yml
@@ -33,6 +33,10 @@ jobs:
         allow-failure: [false]
         include:
           - os: macos-latest
+            ghc: 8.6.5
+            allow-failure: true
+          - os: macos-latest
+            ghc: 8.8.4
             allow-failure: true
         # Windows only seems to work on 8.6.5. Others result in
         # segfaults or other internal errors.