incease agda version, see if it fails

agda · Jan 22, 2024 · f0d4e0a · f0d4e0a
1 parent 2b6200a
commit f0d4e0a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-ubuntu.yml b/.github/workflows/ci-ubuntu.yml
@@ -42,7 +42,7 @@ on:
 ########################################################################
 
 env:
-  AGDA_BRANCH: v2.6.4
+  AGDA_BRANCH: v2.6.4.1
   GHC_VERSION: 9.4.7
   CABAL_VERSION: 3.6.2.0
   CABAL_INSTALL: cabal install --overwrite-policy=always --ghc-options='-O1 +RTS -M6G -RTS'