diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 8f4aee1..3a8483c 100644
--- 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