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

Commits

Commits on Jul 8, 2026