From 7ed61e0b81009fad31cd95806703e1ad7cd0f651 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 16 Apr 2020 09:13:31 -0700
Subject: [PATCH] ci: remove ghc 8.10.1 build for now.
This is block by base-noprelude.
---
.github/workflows/ci.yml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 83e001027..39e0eb760 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -53,8 +53,8 @@ jobs:
cabal: '2.4'
- ghc: '8.8.1'
cabal: '3.0'
- - ghc: '8.10.1'
- cabal: '3.2'
+ # - ghc: '8.10.1'
+ # cabal: '3.2'
steps:
- uses: actions/checkout@v1