-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Update miri #59792
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 #59792
Conversation
|
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 |
To update the lockfile, please run |
Also this overlaps with #59783, probably best to wait until that lands. |
Please make this entire PR one commit with message "update miri"; that is the trigger for Travis in this PR to test if Miri still passes the test suite (this is why I explicitly said to amend above). |
I'll wait until #59783 lands and create a new commit if needed. |
Closing because this is included in #59810 |
r? @RalfJung