From d759fd2822da2582eb39a30d41ed00e59079a242 Mon Sep 17 00:00:00 2001
From: Piyush P Kurur <ppk@iitpkd.ac.in>
Date: Sat, 21 Dec 2024 10:53:06 +0530
Subject: [PATCH] build against ghc 9.12

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4fd3b491..1ec7929b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -23,6 +23,7 @@ jobs:
           - '9.6'
           - '9.8'
           - '9.10'
+          - '9.12'
           - 'latest'
 
         include: