-
Notifications
You must be signed in to change notification settings - Fork 13k
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
bump Miri #71173
bump Miri #71173
Conversation
Toolstate fix, submodule-only |
📌 Commit ae4a01db7e7a40ec8a6283b32ba980fa493e7ff7 has been approved by |
🌲 The tree is currently closed for pull requests below priority 1000, this pull request will be tested once the tree is reopened |
PR CI says this regresses rustfmt builds?
@rust-lang/infra is that possible, or some kind of spurious issue? |
@bors p=5 |
☔ The latest upstream changes (presumably #71139) made this pull request unmergeable. Please resolve the merge conflicts. |
@bors r+ |
📌 Commit 7fa2907 has been approved by |
☀️ Test successful - checks-azure |
Tested on commit rust-lang/rust@534a41a. Direct link to PR: <rust-lang/rust#71173> 🎉 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 #71110
r? @ghost Cc @rust-lang/miri