Fix CI

osa1 · Jan 16, 2024 · f5abe31 · f5abe31
1 parent 89421ef
commit f5abe31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -48,7 +48,7 @@ jobs:
             override: true
 
       - name: 'Type check Prelude.hs'
-        run: cargo run
+        run: cargo run --bin h10
 
   check_formatting:
     name: 'Check formatting'