Support GHC 9.12

.github/workflows/build.yml

@@ -6,17 +6,17 @@ jobs:
   build:
     strategy:
       matrix:
-        ghc: ['8.6', '8.8', '8.10', '9.0', '9.2', '9.4', 'latest']
+        ghc: ['8.6', '8.8', '8.10', '9.0', '9.2', '9.4', '9.6', '9.8', '9.10', '9.12']
         os: ['ubuntu-latest']
     runs-on: ${{ matrix.os }}
     name: GHC ${{ matrix.ghc }} on ${{ matrix.os }}
     steps:
-    - uses: actions/checkout@v3
-    - uses: haskell/actions/setup@v2
+    - uses: actions/checkout@v4
+    - uses: haskell-actions/setup@v2
       with:
         ghc-version: ${{ matrix.ghc }}
     - name: Cache
-      uses: actions/cache@v3
+      uses: actions/cache@v4
       env:
         cache-name: cabal
       with:

cabal.project

@@ -1,2 +1,4 @@
 packages:
   free-theorems
+  free-theorems-webui
+tests: true

free-theorems/free-theorems.cabal

@@ -24,6 +24,10 @@ tested-with:
    || ==9.0.2
    || ==9.2.4
    || ==9.4.2
+   || ==9.6.6
+   || ==9.8.4
+   || ==9.10.1
+   || ==9.12.1
 cabal-version:  1.24.0
 build-type:	Simple