Update haskell.yml

lemastero · Dec 17, 2023 · b4925e3 · b4925e3
1 parent abee8e4
commit b4925e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -53,4 +53,4 @@ jobs:
         run: cabal test all
 
       - name: Run tests
-        run: cabal run -- agda2rust ./test/Hello.agda
+        run: cabal run -- agda2rust ./test/hello.agda