Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #1900 - RalfJung:rustup, r=RalfJung
rustup Just making sure the CI failure in https://github.com/rust-lang/miri/runs/3879412292?check_suite_focus=true is truly intermittent.
- Loading branch information