From 3f42e3646b0e5bba3c39a640d047dff29019f8f9 Mon Sep 17 00:00:00 2001
From: Enno Cramer <ecramer@memfrob.de>
Date: Mon, 7 Aug 2023 12:43:04 +0200
Subject: [PATCH] Fix CI runners for GHC-8.0.2 and GHC-8.2.2

---
 .github/workflows/ci.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6ef8453..004d1d0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -15,6 +15,11 @@ jobs:
       matrix:
         os: [ ubuntu-latest, macOS-latest ]
         ghc: [ 8.0.2, 8.2.2, 8.4.4, 8.6.5, 8.8.3, 8.10.2, 9.0.1 ]
+        include:
+          - os: ubuntu-20.04
+            ghc: 8.0.2
+          - os: ubuntu-20.04
+            ghc: 8.2.2
         exclude:
           - os: macOS-latest
             ghc: 8.0.2