-
Notifications
You must be signed in to change notification settings - Fork 13.6k
Closed
Labels
P-highHigh priorityHigh priorityT-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
./x.py test --stage 0 src/tools/miri
fails currently due to #73272. However, the toolstate is green nevertheless. Looks like somehow toolstate tracking is broken.
Due to this, we currently ship a broken Miri via rustup.
Cc @rust-lang/infra @Mark-Simulacrum @kennytm
Metadata
Metadata
Assignees
Labels
P-highHigh priorityHigh priorityT-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.