Repository navigation

fix(nightly): ci-pending is asked again the same night, then ends RED (#5053) - #5054

Merged

noahgift merged 3 commits into

mainfrom

fix/nightly-ci-pending-retry

Oct 10, 2026

Merged

fix(nightly): ci-pending is asked again the same night, then ends RED (#5053)#5054
noahgift merged 3 commits into
mainfrom
fix/nightly-ci-pending-retry

Commits on Oct 10, 2026
- fix(nightly): ci-pending is asked again the same night, then ends RED (#5053)
  
  noahgift
  and
  claude
  committed
  93629c2
- fix(nightly): a failing gate command fails decide, not only under errexit (#5053)
  
  noahgift
  and
  claude
  committed
  34af559
- ci: run the nightly gate-retry case table in PR CI (#5053)
  
  noahgift
  and
  claude
  committed
  05dd403