Repository navigation

ci: a plan job decides what a run is — draft PRs run `rest`, a merge of a verified head runs nothing (#131) - #166

Merged

afflom merged 4 commits into

mainfrom

claude/ci-two-tier-gate

Oct 17, 2026

Merged

ci: a plan job decides what a run is — draft PRs run `rest`, a merge of a verified head runs nothing (#131)#166
afflom merged 4 commits into
mainfrom
claude/ci-two-tier-gate

Commits on Oct 17, 2026
- ci: a plan job decides what a run is: draft pull requests run `rest`, a merge of a verified head runs nothing (#131)
  
  afflom
  and
  claude
  committed
  7f995cb
- ci: the plan script is executable in git (the first run failed with Permission denied), and RP-14 requires it
  
  afflom
  and
  claude
  committed
  3ce14e0
- ci: RP-14 runs the plan script's decisions on Linux only (the Windows host leg of the first full run failed on the stand-in's PATH)
  
  afflom
  and
  claude
  committed
  8903b27
- Merge remote-tracking branch 'origin/main' into claude/ci-two-tier-gate
  afflom
  committed
  b5a739d