ci: add format check

anoma · Oct 17, 2024 · 8b9016e · 8b9016e
1 parent e8a6eda
commit 8b9016e
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/.github/workflows/tests.yaml b/.github/workflows/tests.yaml
@@ -13,15 +13,14 @@ jobs:
     steps:
       - name: checkout code
         uses: actions/checkout@v3
-
       - name: Download latest nightly Juvix binary
         uses: jaxxstorm/[email protected]
         with:
           repo: anoma/juvix-nightly-builds
           cache: enable
-
       - name: Clean
         run: juvix clean --global && juvix dependencies update 
-
-      - name: Typecheck
+      - name: Type Check
         run: juvix typecheck
+      - name: Format Check
+        run: juvix format