From 4ab5b117b7f8aa5c7a24648757fde885ec580702 Mon Sep 17 00:00:00 2001 From: Saalim Quadri Date: Tue, 31 Oct 2023 23:21:53 +0530 Subject: [PATCH] page: Add a workflow to lint events and members json Signed-off-by: Saalim Quadri --- .github/workflows/jsonLint.yml | 14 ++++++++++++++ files | 2 ++ 2 files changed, 16 insertions(+) create mode 100644 .github/workflows/jsonLint.yml create mode 100644 files diff --git a/.github/workflows/jsonLint.yml b/.github/workflows/jsonLint.yml new file mode 100644 index 0000000..ed8f067 --- /dev/null +++ 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 new file mode 100644 index 0000000..cd52c9b --- /dev/null +++ b/files @@ -0,0 +1,2 @@ +src/core.json +src/events.json