-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Bump Miri for panic unwinding support #66558
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
Conversation
(rust_highfive has picked a reviewer for you, use r? to override) |
|
r? @RalfJung |
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 |
f7bb3bc
to
778bb71
Compare
Ah, we had the same thought. ;) You were slightly faster, so let's use this one. @bors r+ |
📌 Commit 778bb71 has been approved by |
@RalfJung: I've updated this PR to include rust-lang/miri#1065. Could you approve the latest commit? |
@bors r+ |
📌 Commit a5c45f0 has been approved by |
Rust master doesn't work with Miri any more: https://travis-ci.com/rust-lang/miri/jobs/259357217 @bors r- (Miri fix PR: rust-lang/miri#1068) |
@Aaron1011 Miri is fixed, could you update the PR? |
@RalfJung: Updated |
This comment has been minimized.
This comment has been minimized.
(Cycling PR to restart CI.) |
@bors r+ |
📌 Commit 45a9d27 has been approved by |
Bump Miri for panic unwinding support
☀️ Test successful - checks-azure |
No description provided.