-
Couldn't load subscription status.
- Fork 13.9k
Labels
A-miriArea: The miri toolArea: The miri toolT-infraRelevant to the infrastructure team, which will review and decide on the PR/issue.Relevant to the infrastructure team, which will review and decide on the PR/issue.
Description
Looking at https://rust-lang.github.io/rustup-components-history/, it seems like Miri is getting shipped as a rustup component even though the tests fail. Unfortunately, Miri is currently entirely usable, so it'd probably be better if it did not get shipped in this state. Is that something we can do?
Cc @oli-obk
Metadata
Metadata
Assignees
Labels
A-miriArea: The miri toolArea: The miri toolT-infraRelevant to the infrastructure team, which will review and decide on the PR/issue.Relevant to the infrastructure team, which will review and decide on the PR/issue.