Test.

tomaz1502 · Jul 13, 2024 · 132c349 · 132c349
1 parent 27603ef
commit 132c349
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -26,6 +26,7 @@ jobs:
         echo "DONE 1"
         cabal update
         echo "DONE 2"
+        echo "$(agda --version)"
         echo $(cabal info base)
         cabal install agda2hs
         echo "DONE 3"