From 62dc2f893ec21f3daa2e9c78eb6392698145d204 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 26 Aug 2019 18:12:59 -0700
Subject: [PATCH] Comment out ghc 8.8.1 build for now.
---
.circleci/config.yml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.circleci/config.yml b/.circleci/config.yml
index ccc48c2f7..08c09a575 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -121,9 +121,10 @@ workflows:
version: "2.1"
build:
jobs:
- - cabal-ghc-8_8_1
- cabal-ghc-8_6_5
- cabal-ghc-8_4_4
- cabal-ghc-8_2_2
- cabal-ghc-8_0_2
- stack-ghc-8_6
+ # - cabal-ghc-8_8_1
+