-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
Toolstate tracking is broken #73274
Copy link
Copy link
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.
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.
Type
Fields
Give feedbackNo fields configured for issues without a type.
./x.py test --stage 0 src/tools/mirifails 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