Change bors build finished job to publish toolstate#150772
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Jan 15, 2026
Merged
Change bors build finished job to publish toolstate#150772rust-bors[bot] merged 1 commit intorust-lang:mainfrom
bors build finished job to publish toolstate#150772rust-bors[bot] merged 1 commit intorust-lang:mainfrom