Repository navigation

ci: evict parked pull request builds oldest first instead of a free-disk floor - #15039

Merged

teamleaderleo merged 2 commits into

mainfrom

ci/evict-parked

Sep 27, 2026

Commits on Sep 27, 2026
- ci: evict parked pull request builds oldest first instead of a free-disk floor
  
  teamleaderleo
  and
  claude
  committed
  beaf743
- ci: clean a partial clone on failure, strict evict-parked args (review)
  
  teamleaderleo
  and
  claude
  committed
  cca806e