From 3505e0b71fe1926666b80bb52a310c53294bd0a1 Mon Sep 17 00:00:00 2001 From: Wen Kokke Date: Tue, 2 Jun 2026 14:05:50 +0100 Subject: [PATCH] Bump GHC and Agda versions. --- .github/workflows/ci.yml | 44 ++++++++-------------------------------- 1 file changed, 9 insertions(+), 35 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 7049ce26a..99f9f1079 100644 --- a/.github/workflows/ci.yml +++ b/.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' }}