-
Notifications
You must be signed in to change notification settings - Fork 12.9k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
update Miri #82150
update Miri #82150
Conversation
@bors r+ rollup=never |
📌 Commit 7c31594361936b28004670ef3bde7dbcbb3c78d0 has been approved by |
@bors r- |
Miri should be good again. |
📌 Commit 92764ac has been approved by |
⌛ Testing commit 92764ac with merge b45686151896bab7a830eaa57089e336fa14b896... |
💥 Test timed out |
@bors retry |
☀️ Test successful - checks-actions |
A job failed! Check out the build log: (web) (plain) Click to see the possible cause of the failure (guessed by this bot)
|
@rust-lang/infra something seems to be wrong with toolstate tracking? https://rust-lang-nursery.github.io/rust-toolstate/ did not update when this PR got merged, and now Miri fails to build and there was no notification or issue being created. |
That seems a Python 2 → Python 3 issue: https://rust-lang.zulipchat.com/#narrow/stream/242791-t-infra/topic/Toolstate.20update.20was.20broken.20for.20Miri |
Okay, I created an issue to track this: #82254 |
This pulls in the recent cargo-miri fixes by @hyd-dev.
Cc @rust-lang/miri r? @ghost
Fixes #82173