Repository navigation

chore(ci): skip the image and web jobs on documentation-only pull requests - #783

Merged

mforce merged 6 commits into

mainfrom

chore/782-skip-jobs-on-docs-prs

Sep 12, 2026

Merged

chore(ci): skip the image and web jobs on documentation-only pull requests#783
mforce merged 6 commits into
mainfrom
chore/782-skip-jobs-on-docs-prs

Commits on Sep 12, 2026
- chore(ci): classify a pull request's changed paths as documentation or code
  mforce
  committed
  5e8c044
- chore(ci): skip the web and image jobs on documentation-only pull requests
  mforce
  committed
  6b70dee
- docs(ci): record why the documentation-only gate is pull_request-only
  mforce
  committed
  b76d028
- fix(ci): close three fail-open holes an adversarial review found in the gate
  mforce
  committed
  f934203
- fix(ci): take a directory fd from this directory, not the OS temp dir
  mforce
  committed
  b387c7a
- docs(ci): stop the decision record contradicting itself about the self-test
  mforce
  committed
  d81dfa8