CI: use alternative disks if available#148146

rust-bors[bot] merged 4 commits into

rust-lang:mainrust-lang/rust:mainfrom

the8472:ci-use-extra-diskthe8472/rust:ci-use-extra-diskCopy head branch name to clipboard