fix cli command in the ci

anoma · Sep 29, 2022 · 6668ed5 · 6668ed5
1 parent 53d3bcb
commit 6668ed5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -64,7 +64,7 @@ jobs:
 
       - name : Typecheck library code
         run : |
-          juvix typecheck --only-errors --no-stdlib index.juvix
+          juvix --only-errors --no-stdlib typecheck index.juvix
 
       - name: HTML
         run: |