make it possible to disable download-rustc if it's incompatible#128098
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 23, 2024
Merged
make it possible to disable download-rustc if it's incompatible#128098bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom