Add a job to check formatting

rzk-lang · Dec 12, 2023 · 2d618b1 · 2d618b1
1 parent 8ab1612
commit 2d618b1
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/rzk.yml b/.github/workflows/rzk.yml
@@ -22,3 +22,16 @@ jobs:
         with:
           rzk-version: latest
           files: src/**/*.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