ci: lint json on push only

gmasse · Dec 12, 2024 · ae7ad80 · ae7ad80
1 parent 364d1dc
commit ae7ad80
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml
@@ -1,13 +1,13 @@
 name: Lint JSON Files
 
 on:
-  pull_request:
-    paths:
-      - 'data/*.json'
   push:
     paths:
       - 'data/*.json'
 
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
 jobs:
   lint:
     runs-on: ubuntu-latest
@@ -27,4 +27,4 @@ jobs:
       
       - name: Run JSON Linter
         run: |
-          ls data/*.json | xargs -Ixx bash -c "echo JSON linting xx 1>&2; cat xx | python3 -mjson.tool > /dev/null || exit 255"
+          ls data/*.json | xargs -Ixx bash -c "echo JSON linting xx 1>&2; cat xx | python3 -mjson.tool > /dev/null || exit 255"