A note that build.warnings and CARGO_BUILD_WARNINGS don't apply to MIRI#17224
A note that build.warnings and CARGO_BUILD_WARNINGS don't apply to MIRI#17224peter-lyons-kehl wants to merge 1 commit into
Conversation
|
Thanks for the pull request, and welcome! The Rust Project is excited to review your changes, and you should hear from @epage (or someone else) some time within the next two weeks. Please see the contribution instructions for more information. Namely, in order to ensure the minimum review times lag, PR authors and assigned reviewers should ensure that the review label (
Why was this reviewer chosen?The reviewer was selected based on:
|
|
Does this belong in Cargo's docs or in miris'?
|
|
☔ The latest upstream changes (possibly #17230) made this pull request unmergeable. Please resolve the merge conflicts. |
Thanks for the pull request 🎉!
Please read the contribution guide: https://doc.crates.io/contrib/.
What does this PR try to resolve?
rust-lang/miri#5202