ci(workflows): ignored VOUCHED.td in CI triggers

- Added a paths-ignore filter to the CI workflow to prevent unnecessary runs during vouch bookkeeping commits. - Ensured that pushes affecting both vouch files and project code continue to trigger the full CI matrix.
2026-06-19 17:02:13 +02:00
parent 051110cfe6
commit acd0d31f62
1 changed files with 6 additions and 0 deletions
@@ -3,6 +3,12 @@ name: CI
 on:
   push:
      branches: [main]
+      # Vouch bookkeeping commits (mitchellh/vouch writes VOUCHED.td back to
+      # main on !vouch/!denounce/!unvouch) only edit the vouch list and need no
+      # build. Skip CI when a main push changes nothing but the vouch file; a
+      # push that also touches anything else still runs the full matrix.
+      paths-ignore:
+         - .github/VOUCHED.td
   pull_request:
      branches: [main]
   workflow_dispatch: