Skip CI build jobs on documentation-only changes (#1768)

* feat: don't build on PRs that only change documents * fix: ignore docs/** on push
2026-05-29 16:14:54 -04:00 · 2026-05-28 07:39:30 +02:00
parent 42d9dd23c0
commit e7e04b7c15
1 changed files with 5 additions and 0 deletions
@@ -5,7 +5,12 @@ on:
    paths-ignore:
      - '*.md'
      - '*LICENSE'
+      - 'docs/**'
  pull_request:
+    paths-ignore:
+      - '*.md'
+      - '*LICENSE'
+      - 'docs/**'

 concurrency:
  group: ${{ github.workflow }}-${{ github.event_name == 'pull_request' && format('pr-{0}', github.event.pull_request.number) || format('run-{0}', github.run_id) }}