Test.

tomaz1502 · Jul 13, 2024 · 7fd223f · 7fd223f
1 parent 59dfe63
commit 7fd223f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -16,9 +16,9 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - uses: actions/setup-haskell@v1
+    - uses: wenkokke/setup-agda@v2
       with:
-        ghc-version: '8.10.3'
+        ghc-version: '8.8.1'
         stack-version: '2.7.3'
 
     - name: Install dependencies
@@ -27,9 +27,9 @@ jobs:
         echo "DONE 1"
         cabal update
         echo "DONE 2"
+        echo "$(agda --version)"
         echo $(cabal info base)
         cabal install agda2hs
-        echo "$(agda --version)"
         echo "DONE 3"
     - name: Build
       run: |