Conversation
3ee383e to
d6fb513
Compare
davidhewitt
left a comment
There was a problem hiding this comment.
Nice, yes I'm happy with things going in this direction. I added #2301 to the "closes" section in your OP.
I had quite a few tangential thoughts as I read through this one...
0ab1365 to
89a6c43
Compare
davidhewitt
left a comment
There was a problem hiding this comment.
Looks great to me, thanks!
I see you have linked this to #3064, it's not quite clear to me why?
|
Build failed: |
…g acquired inside of implementations.
… output is not stable between MSRV and current stable.
89a6c43 to
08bdc32
Compare
|
So this was hit by the same problem that #3171 is trying to fix. I just moved the test case to the 1.63 section for now. bors retry |
|
Build succeeded! The publicly hosted instance of bors-ng is deprecated and will go away soon. If you want to self-host your own instance, instructions are here. If you want to switch to GitHub's built-in merge queue, visit their help page. |
Closes #2301
Closes #3165