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 ccc48c2f7928..08c09a575dbc 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
+