Update haskell.yml

tomaz1502 · Jul 14, 2024 · 231457c · 231457c
1 parent a7ccb1e
commit 231457c
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -26,7 +26,6 @@ jobs:
       run: |
         stack update
         cabal update
-        cabal install Agda
         cabal install agda2hs
     - name: Build
       run: |