ci: only run linting when it is useful

jozzsi · Oct 17, 2024 · 9718d66 · 9718d66
1 parent 03d8951
commit 9718d66
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,10 +1,12 @@
 name: Lint
 
 on:
-  push:
-    branches: [ main ]
   pull_request:
     branches: [ main ]
+      paths-ignore:
+        - antora-playbook.yaml
+        - 'doc_site/**'
+        - 'man/**'
 
 jobs:
   lint-shell: