-
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 #81043
Update Miri #81043
Conversation
|
CI will fail with this, due to some further rustc changes -- I fixed the Miri side in rust-lang/miri#1673; once that landed, can you update Miri here to the latest master commit? |
OK. Sorry for missing the "further rustc changes". Thanks for fixing! |
The job Click to see the possible cause of the failure (guessed by this bot)
|
Co-authored-by: Ralf Jung <post@ralfj.de>
PR CI passed 🚀 |
Thanks. :-) |
📌 Commit f3a6cad has been approved by |
☀️ Test successful - checks-actions |
Tested on commit rust-lang/rust@bc39d4d. Direct link to PR: <rust-lang/rust#81043> 🎉 miri on windows: build-fail → test-pass (cc @oli-obk @eddyb @RalfJung). 🎉 miri on linux: build-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
Fixes #80907.
r? @RalfJung