Merge pull request #19 from maxsnew/ci

Update agda/ghc/cabal versions
maxsnew · Sep 25, 2024 · 84625ad · 84625ad
2 parents 600b674 + 54a73f5
commit 84625ad
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -54,9 +54,9 @@ on:
 ## next PR.
 ########################################################################
 env:
-  AGDA_BRANCH: v2.6.4.1
-  GHC_VERSION: 9.4.7
-  CABAL_VERSION: 3.6.2.0
+  AGDA_BRANCH: v2.7.0.1
+  GHC_VERSION: 9.8.2
+  CABAL_VERSION: 3.10.2.1
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'
   CACHE_PATHS: |
     ~/.cabal/packages