Bump GHC and Agda versions. (#1201)

Author: wenkokke

.github/workflows/ci.yml

@@ -13,10 +13,10 @@ on:
   merge_group:
 
 env:
-  DEFAULT_AGDA_VERSION: "2.7.0"
+  DEFAULT_AGDA_VERSION: "2.7.0.1"
   DEFAULT_AGDA_STDLIB_VERSION: "2.1"
-  DEFAULT_GHC_VERSION: "9.4.8"
-  DEFAULT_CABAL_VERSION: "3.10.1.0"
+  DEFAULT_GHC_VERSION: "9.12.4"
+  DEFAULT_CABAL_VERSION: "3.16.1.0"
   DEFAULT_EPUBCHECK_VERSION: "4.2.6"
   NOKOGIRI_USE_SYSTEM_LIBRARIES: true
 
@@ -48,39 +48,13 @@ jobs:
             agda-version: "2.6.4.3"
             agda-stdlib-version: "2.0"
 
-          # 2024-09-05:
-          #   Version 2.0 of the standard library breaks backwards compatibility.
-          #   Therefore, versions of Agda before 2.6.4.3 are no longer supported.
-          #
-          # - name: "Build with older Agda 2.6.4.3"
-          #   agda-version: "2.6.4.3"
-          #   agda-stdlib-version: "1.7.2"
-          # - name: "Build with older Agda 2.6.2.2"
-          #   agda-version: "2.6.2.2"
-          #   agda-stdlib-version: "1.7.1"
-          # - name: "Build with older Agda 2.6.2.1"
-          #   agda-version: "2.6.2.1"
-          #   agda-stdlib-version: "1.7.1"
-          # - name: "Build with older Agda 2.6.2"
-          #   agda-version: "2.6.2"
-          #   agda-stdlib-version: "1.7.1"
-          # - name: "Build with older Agda 2.6.1.3"
-          #   agda-version: "2.6.1.3"
-          #   agda-stdlib-version: "1.6"
-
-          # Newer versions of GHC
-          - name: "Build with newer GHC 9.8.2"
-            ghc-version: "9.8.2"
-          - name: "Build with newer GHC 9.6.6"
-            ghc-version: "9.6.6"
-
           # Older versions of GHC
-          - name: "Build with older GHC 9.2.8"
-            ghc-version: "9.2.8"
-          - name: "Build with older GHC 9.0.2"
-            ghc-version: "9.0.2"
-          - name: "Build with older GHC 8.10.7"
-            ghc-version: "8.10.7"
+          - name: "Build with older GHC 9.10.3"
+            ghc-version: "9.10.3"
+          - name: "Build with older GHC 9.8.4"
+            ghc-version: "9.8.4"
+          - name: "Build with older GHC 9.6.7"
+            ghc-version: "9.6.7"
 
     name: ${{ matrix.name }}
     runs-on: ${{ matrix.os || 'ubuntu-latest' }}