Don't rerun goals if none of their vars have changed#141500
Merged
bors merged 2 commits intorust-lang:masterfrom May 26, 2025
Merged
Don't rerun goals if none of their vars have changed#141500bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom