agda
diff --git a/‎.github/workflows/ci-ubuntu.yml‎
Lines changed: 1 addition & 1 deletion b/‎.github/workflows/ci-ubuntu.yml‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎tests/data/list/list.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/data/list/list.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/data/rational-unnormalised/rational-unnormalised.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/data/rational-unnormalised/rational-unnormalised.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/data/rational/rational.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/data/rational/rational.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/data/trie/trie.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/data/trie/trie.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/monad/counting/counting.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/monad/counting/counting.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/monad/fibonacci/fibonacci.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/monad/fibonacci/fibonacci.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/monad/pythagorean/pythagorean.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/monad/pythagorean/pythagorean.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/monad/tcm/tcm.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/monad/tcm/tcm.agda-lib‎
Lines changed: 0 additions & 4 deletions
diff --git a/‎tests/system/ansi/ansi.agda-lib‎
Lines changed: 0 additions & 4 deletions b/‎tests/system/ansi/ansi.agda-lib‎
Lines changed: 0 additions & 4 deletions
@@ -114,7 +114,7 @@ jobs:
 ########################################################################
 
       - name: Install ghc & cabal
-        uses: haskell-actions/setup@v1
+        uses: haskell-actions/setup@v2
         with:
           ghc-version: ${{ env.GHC_VERSION }}
           cabal-version: ${{ env.CABAL_VERSION }}