Bump Haskell-CI to GHCs 9.6.2 and 9.2.8

.github/workflows/haskell-ci.yml

@@ -8,9 +8,9 @@
 #
 # For more information, see https://github.com/haskell-CI/haskell-ci
 #
-# version: 0.16.1
+# version: 0.16.4
 #
-# REGENDATA ("0.16.1",["github","--no-cabal-check","agda-stdlib-utils.cabal"])
+# REGENDATA ("0.16.4",["github","--no-cabal-check","agda-stdlib-utils.cabal"])
 #
 name: Haskell-CI
 on:
@@ -44,19 +44,19 @@ jobs:
     strategy:
       matrix:
         include:
-          - compiler: ghc-9.6.1
+          - compiler: ghc-9.6.2
             compilerKind: ghc
-            compilerVersion: 9.6.1
+            compilerVersion: 9.6.2
             setup-method: ghcup
             allow-failure: false
           - compiler: ghc-9.4.5
             compilerKind: ghc
             compilerVersion: 9.4.5
             setup-method: ghcup
             allow-failure: false
-          - compiler: ghc-9.2.7
+          - compiler: ghc-9.2.8
             compilerKind: ghc
-            compilerVersion: 9.2.7
+            compilerVersion: 9.2.8
             setup-method: ghcup
             allow-failure: false
           - compiler: ghc-9.0.2

agda-stdlib-utils.cabal

@@ -6,9 +6,9 @@ description:     Helper programs for setting up the Agda standard library.
 license:         MIT
 
 tested-with:
-  GHC == 9.6.1
+  GHC == 9.6.2
   GHC == 9.4.5
-  GHC == 9.2.7
+  GHC == 9.2.8
   GHC == 9.0.2
   GHC == 8.10.7
   GHC == 8.8.4

stack-9.0.2.yaml

@@ -1,10 +1,6 @@
-resolver: nightly-2022-01-27
+resolver: lts-19.33
 compiler: ghc-9.0.2
 compiler-check: match-exact
 
-# extra-deps:
-#   - filemanip-0.3.6.3
-#   - unix-compat-0.5.2
-
 packages:
 - '.'

stack-9.2.8.yaml

@@ -0,0 +1,6 @@
+resolver: lts-20.26
+compiler: ghc-9.2.8
+compiler-check: match-exact
+
+packages:
+- '.'