Closed urschrei closed 1 year ago
Ah yes, need to bump CI containers first of course.
bors retry
bors cancel
bors retry
This ended up being slightly more invasive than I thought it would be as I had to add an use-rstar-11
feature and corresponding impls too. If people would prefer a more comprehensive CHANGES
entry lmk
bors r=michaelkirk
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. For more help, visit the forum.
If you want to switch to GitHub's built-in merge queue, visit their help page.
[x] I added an entry to
CHANGES.md
if knowledge of this change could be valuable to users.