-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Update miri #63141
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 #63141
Conversation
Ah, highfive doesn't seem to be here. |
highfive is here, they assigned me to this PR. :) Since you did r? in the OP, there is no need for the bot to post a message. EDIT: oh wait, you assigned me. never mind.^^ |
@bors r+ |
📌 Commit 526d45a has been approved by |
@bors p=1 (tool fix) |
💔 Test failed - checks-azure |
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
Remove `await_macro` `await_macro` is now unsupported so we should remove it. Failed in rust-lang/rust#63141 r? @RalfJung
Add rust-lang/miri@af7570f so this should pass the tests. |
@bors r+ |
📌 Commit 2fe27f5 has been approved by |
💥 Test timed out |
It finished less than 2min after the timeout. :/ @bors retry |
☀️ Test successful - checks-azure |
Tested on commit rust-lang/rust@e3976ff. Direct link to PR: <rust-lang/rust#63141> 🎉 miri on windows: build-fail → test-pass (cc @oli-obk @RalfJung @eddyb, @rust-lang/infra).
That's odd, it is still failing for Linux...? All tools are out-of-sync between Windows and Linux though: https://rust-lang-nursery.github.io/rust-toolstate/. So this is likely not a Miri issue. |
Fixes #63024
r? @RalfJung