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