Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #148146 - the8472:ci-use-extra-disk, r=marcoieni
CI: use alternative disks if available
*[View all comments](https://triagebot.infra.rust-lang.org/gh-comments/rust-lang/rust/pull/148146)*
cleaning up disk space takes a lot of time, sometimes [30 minutes](https://github.com/rust-lang/rust/actions/runs/18817052904/job/53686898697)
