-
Notifications
You must be signed in to change notification settings - Fork 13.3k
polonius tweaks #56507
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
polonius tweaks #56507
Conversation
@bors r+ |
📌 Commit f30ba07 has been approved by |
…matthewjasper polonius tweaks - bump polonius to 0.6.0 - fix 2-phase-borrow activations r? @matthewjasper
2618bd7
to
f30ba07
Compare
@bors r=MatthewJasper Taking the liberty, @matthewjasper, of r+'ing my add'l commit that bumps us to 0.6.1 =) |
📌 Commit 2618bd7e22f08ddf03cda562c45ee25a8da2fb67 has been approved by |
2618bd7
to
567f654
Compare
@bors r=MatthewJasper |
📌 Commit 567f654363ec6cfbfbf68a373dfa1df5cfaa0fc9 has been approved by |
🔒 Merge conflict This pull request and the master branch diverged in a way that cannot be automatically merged. Please rebase on top of the latest master branch, and let the reviewer approve again. How do I rebase?Assuming
You may also read Git Rebasing to Resolve Conflicts by Drew Blessing for a short tutorial. Please avoid the "Resolve conflicts" button on GitHub. It uses Sometimes step 4 will complete without asking for resolution. This is usually due to difference between how Error message
|
☔ The latest upstream changes (presumably #56632) made this pull request unmergeable. Please resolve the merge conflicts. |
567f654
to
f7cbbd5
Compare
@bors r=MatthewJasper |
📌 Commit f7cbbd599d3022a53648d4ad8b64647c6f6324d1 has been approved by |
☔ The latest upstream changes (presumably #56627) made this pull request unmergeable. Please resolve the merge conflicts. |
f7cbbd5
to
8ee2c06
Compare
@bors r=MatthewJasper rollup |
📌 Commit 8ee2c06 has been approved by |
838b251
to
490e66e
Compare
@bors r=MatthewJasper |
📌 Commit 490e66eb6cf1ce72ffaa3278534698b528d38dd1 has been approved by |
⌛ Testing commit 490e66eb6cf1ce72ffaa3278534698b528d38dd1 with merge 8f7e0cedc57f65a887eb460853de459b34dd6610... |
💔 Test failed - status-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 |
@bors try let's see if a try build also hits this problem |
So, even though the error references an "Unrecognized option" which seems valid, and another crate ("Could not document I've minimized it and opened #57180. It can be worked around in datafrog, so I opened rust-lang/datafrog#24 there. Integrating the workaround/fix into a new polonius version and then into this PR should unblock it from landing (famous last words). |
Also datafrog 2.0.1, which works around a rustdoc bug
490e66e
to
826fb1d
Compare
@bors r=MatthewJasper |
📌 Commit 826fb1d has been approved by |
polonius tweaks - bump polonius to 0.6.0 - fix 2-phase-borrow activations r? @matthewjasper
☀️ Test successful - status-appveyor, status-travis |
r? @matthewjasper