page: Add a workflow to lint events and members json

Signed-off-by: Saalim Quadri <[email protected]>
heyyakash · Oct 31, 2023 · 4ab5b11 · 4ab5b11
1 parent 6ed6fd0
commit 4ab5b11
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/.github/workflows/jsonLint.yml b/.github/workflows/jsonLint.yml
@@ -0,0 +1,14 @@
+name: PBCI
+
+on: [push, pull_request]
+
+jobs:
+  jsonLint:
+    name: JsonLint
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v1
+      - name: Run jsonlint.
+        run: |
+          sudo apt install python3-demjson && \
+          while read -r script; do jsonlint $script; done < files
diff --git a/files b/files
@@ -0,0 +1,2 @@
+src/core.json
+src/events.json