Conversation
|
r? @pnkfelix (rust_highfive has picked a reviewer for you, use r? to override) |
|
I will do a timer run to double-check the perf improvements. @bors try |
|
🔒 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 |
d080fa9 to
e94be7c
Compare
|
@bors try |
|
⌛ Trying commit e94be7cfaff8bb763244f00ad73f607f376264eb with merge 2140c14d63485c1e73d21c6df7656f52e4c605ba... |
|
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 |
|
💔 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 |
This is up to a 1% speedup on a few benchmark runs.
e94be7c to
7e5b9c3
Compare
|
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 |
|
☔ The latest upstream changes (presumably #57321) made this pull request unmergeable. Please resolve the merge conflicts. |
|
ping from triage @nnethercote it is failling on travis |
|
ping from triage @nnethercote Unfortunately we haven't heard from you on this in a while, so I'm closing the PR to keep things tidy. Don't worry though, if you'll have time again in the future please reopen this PR, we'll be happy to review it again! Thanks |
|
Yeah, this isn't going anywhere. |
This is up to a 1% speedup on a few benchmark runs.