From 6182769307a5dc99cfd0e95fadd2a131d7cc8a02 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 6 Jun 2023 12:59:49 -0700
Subject: [PATCH] Remove support for ghc 8.6, 8.8.

---
 .github/workflows/ci.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 07f3581fe..43dc1ddb0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -47,12 +47,6 @@ jobs:
       fail-fast: true
       matrix:
         versions:
-          - ghc: '8.6'
-            cabal: 'latest'
-            cabalopts: '-f-embed_data_files'
-          - ghc: '8.8'
-            cabal: 'latest'
-            cabalopts: '-f-lua -f-server --enable-benchmarks'
           - ghc: '8.10'
             cabal: 'latest'
             cabalopts: ''