Skip to content

fix: Cancel ongoing build scripts/workspace discovery on exit#22738

Open
ChayimFriedman2 wants to merge 1 commit into
rust-lang:masterfrom
ChayimFriedman2:kill-on-exit
Open

fix: Cancel ongoing build scripts/workspace discovery on exit#22738
ChayimFriedman2 wants to merge 1 commit into
rust-lang:masterfrom
ChayimFriedman2:kill-on-exit

Cancel ongoing build scripts/workspace discovery on exit

6414634
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
rustdoc
succeeded Jul 8, 2026 in 1m 26s