Repository navigation

ci: display the gate job as CI Status with a ci-status alias - #15397

Merged

kyle-sexton merged 6 commits into

mainfrom

ci/ci-status-display-name

Nov 12, 2026

Merged

ci: display the gate job as CI Status with a ci-status alias#15397
kyle-sexton merged 6 commits into
mainfrom
ci/ci-status-display-name

Commits on Nov 11, 2026
- ci: display the gate job as CI Status with a ci-status alias
  
  kyle-sexton
  and
  claude
  committed
  b001e56
- docs(pr-verify): name CI Status and its alias in the verifier prompt
  
  kyle-sexton
  and
  claude
  committed
  05be5aa
- ci: name the alias step in sentence case
  
  kyle-sexton
  and
  claude
  committed
  f913fcc
- Merge remote-tracking branch 'origin/main' into ci/ci-status-display-name
  kyle-sexton
  committed
  e586629
- ci: pin aggregate-results to the alias-aware commit
  
  kyle-sexton
  and
  claude
  committed
  02e37d7
- Merge remote-tracking branch 'origin/main' into ci/ci-status-display-name
  kyle-sexton
  committed
  d695ffb