Add a job to check formatting

rzk-lang · Dec 12, 2023 · 48abcc6 · 48abcc6
1 parent 699f253
commit 48abcc6
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/rzk.yml b/.github/workflows/rzk.yml
@@ -26,3 +26,16 @@ jobs:
             src/1-foundations/1-type-theory/exercises/*.rzk.md
             src/1-foundations/2-homotopy-type-theory/*.rzk.md
             src/1-foundations/2-homotopy-type-theory/exercises/*.rzk.md
+
+  check-formatting:
+    runs-on: ubuntu-latest
+    name: Check Rzk formatting
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Check formatting
+        uses: rzk-lang/[email protected]
+        with:
+          rzk-version: v0.7.2
+          typecheck: false
+          check-formatting: true