-
Notifications
You must be signed in to change notification settings - Fork 12.8k
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 #58706
update miri #58706
Conversation
|
@bors r+ p=1 |
📌 Commit 09db178 has been approved by |
⌛ Testing commit 09db178 with merge fce80b42f931acf33a24e0ca7c1794cf2919b9d3... |
💔 Test failed - checks-travis |
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 |
I've seen pretty much the exact same message on the last attempt to update Miri as well: #58535. That PR took like 5 attempts to land. |
Unfortunately |
☀️ Test successful - checks-travis, status-appveyor |
☀️ Test successful - checks-travis, status-appveyor |
cc #57609
r? @RalfJung