Don't build with GHC 8.10 for this release

GaloisInc · Aug 31, 2020 · 1664c23 · 1664c23
1 parent c29a9ce
commit 1664c23
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -34,7 +34,7 @@ jobs:
       fail-fast: false
       matrix:
         os: [ubuntu-latest, macos-latest, windows-latest]
-        ghc: ["8.6.5", "8.8.4", "8.10.2"]
+        ghc: ["8.6.5", "8.8.4"]
     name: Cryptol - GHC v${{ matrix.ghc }} - ${{ matrix.os }}
     env:
       RELEASE: ${{ needs.outputs.outputs.release }}