From acb187753a9ddaa62b7b0fab21005d39e1b4a646 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 24 Mar 2022 09:57:29 -0700
Subject: [PATCH] Change benchmarks to use ghc 9.2.2 instead of 8.8.4.

---
 .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 b4bbd89fa..26084b71d 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -205,10 +205,10 @@ jobs:
       fail-fast: true
       matrix:
         versions:
-          - ghc: '8.8.4'
-            cabal: '3.2'
           - ghc: '8.10.7'
             cabal: '3.2'
+          - ghc: '9.2.2'
+            cabal: '3.6'
     steps:
     - uses: actions/checkout@v2