Skip to content

Dont rerun stalled goals if erased runs succeeded*#157910

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
jdonszelmann:stalled-goal-rerun
Jun 17, 2026
Merged

Dont rerun stalled goals if erased runs succeeded*#157910
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
jdonszelmann:stalled-goal-rerun