Skip to content

CI: use alternative disks if available#148146

Merged
rust-bors[bot] merged 4 commits intorust-lang:mainfrom
the8472:ci-use-extra-disk
Feb 26, 2026
Merged

CI: use alternative disks if available#148146
rust-bors[bot] merged 4 commits intorust-lang:mainfrom
the8472:ci-use-extra-disk

Commits

Commits on Dec 26, 2025