diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 30024c7..d1abc80 100644
--- a/.github/workflows/build.yml
+++ b/.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:
diff --git a/cabal.project b/cabal.project
index b083e24..8d4ee99 100644
--- a/cabal.project
+++ b/cabal.project
@@ -1,2 +1,4 @@
 packages:
   free-theorems
+  free-theorems-webui
+tests: true
diff --git a/free-theorems/free-theorems.cabal b/free-theorems/free-theorems.cabal
index 6c6f600..dc882cb 100644
--- a/free-theorems/free-theorems.cabal
+++ b/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