fix CI 2

lemastero · Apr 29, 2024 · 1439c12 · 1439c12
1 parent c4bda60
commit 1439c12
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/haskell.yml b/.github/workflows/haskell.yml
@@ -49,8 +49,8 @@ jobs:
       - name: Build
         run: cabal build all
 
-      - name: Run tests
+      - name: Run testsľ
         run: cabal test all
 
       - name: Run tests
-        run: cabal run -- agda2scala ./test/hello.agda
+        run: cabal run -- agda2scala ./test/Hello.agda