Repository navigation

ci: add PR Results gate to pr-open.yml - #125

Merged

DerekRoberts merged 2 commits into

mainfrom

ci/pr-results-gate

Oct 16, 2026

Merged

ci: add PR Results gate to pr-open.yml#125
DerekRoberts merged 2 commits into
mainfrom
ci/pr-results-gate

Commits on Oct 16, 2026
- ci: add PR Results gate to pr-open.yml
  DerekRoberts
  committed
  a6412d1
- ci: include the path filter job in PR Results
  DerekRoberts
  committed
  2f2480a