Repository navigation

Restore the merge queue's build on main after a toolchain bump - #740

Merged

Vilin97 merged 3 commits into

mainfrom

vasil/main-reuse-queue-bump-build

Nov 6, 2026

Merged

Restore the merge queue's build on main after a toolchain bump#740
Vilin97 merged 3 commits into
mainfrom
vasil/main-reuse-queue-bump-build

Commits on Nov 3, 2026
- Restore the merge queue's build on main after a toolchain bump
  
  Vilin97
  and
  claude
  committed
  67162a7
- Fall back to a sharded rebuild when the queue build cannot be restored
  
  Vilin97
  and
  claude
  committed
  88f4243
Commits on Nov 5, 2026
- Free runner disk before Exposition Verify restores the pool build
  
  Vilin97
  and
  claude
  committed
  42edf1e