From 1664c23bb04f6fdd921d7f68ef26aed37a266888 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Mon, 31 Aug 2020 13:29:41 -0700
Subject: [PATCH] Don't build with GHC 8.10 for this release

---
 .github/workflows/build.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 9b12c3de7..70cfb32fb 100644
--- 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 }}