Closed Atry closed 1 year ago
Build failed:
Looks like a whitespace error. Could you fix that?
bors r+
This PR was included in a batch that successfully built, but then failed to merge into main. It will not be retried.
Additional information:
Response status code: 422
{"message":"Validation Failed","documentation_url":"https://docs.github.com/articles/about-protected-branches"}
Sorry about the bot mess; going to work on that.
GitHub is not creating a queue...
bors r+