started: 2026-09-08T15:26:15Z
head: 6383de2fe661e1a7b518da9775e6a898565e3ebc
dirty: 0
holders(exe-in-pool, REFUSES): []
builders box-wide (INFORMATIONAL, todlando is running -p spt in parallel; wall time NOT a quiet-box number): [28220,56148,50620,54196,56132,34780,11836]
TOOLCHAIN cargo: cargo 1.96.0 (30a34c682 2026-05-25)
TOOLCHAIN clippy: clippy 0.1.96 (ac68faa20c 2026-05-25)