Test.

tomaz1502 · Jul 13, 2024 · 59dfe63 · 59dfe63
1 parent 937ab11
commit 59dfe63
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -16,19 +16,20 @@ jobs:
 
     steps:
     - uses: actions/checkout@v3
-    - uses: wenkokke/setup-agda@v2
+    - uses: actions/setup-haskell@v1
       with:
-        agda-version: '2.5.2'
+        ghc-version: '8.10.3'
+        stack-version: '2.7.3'
 
     - name: Install dependencies
       run: |
         stack update
         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: |