As part of rustc CI, we do a smoke test of cargo miri. However, all this happens against bootstrap cargo, not against the actual cargo nightly users will use. This can lead to high-impact bugs such as rust-lang/miri#4855.
It would be good to find some way to test Miri with the "right" cargo in CI, but I am not sure how to best do that.
Cc @rust-lang/infra @weihanglo @epage
As part of rustc CI, we do a smoke test of
cargo miri. However, all this happens against bootstrap cargo, not against the actual cargo nightly users will use. This can lead to high-impact bugs such as rust-lang/miri#4855.It would be good to find some way to test Miri with the "right" cargo in CI, but I am not sure how to best do that.
Cc @rust-lang/infra @weihanglo @epage