Closed Nemo157 closed 1 year ago
:exclamation: No coverage uploaded for pull request base (
prīmum@3a7ccbe
). Click here to learn what that means. Patch has no changes to coverable lines.
:umbrella: View full report at Codecov.
:loudspeaker: Do you have feedback about the report comment? Let us know in this issue.
bors r+
This PR was included in a batch that successfully built, but then failed to merge into prīmum. It will not be retried.
Additional information:
{"message":"You're not authorized to push to this branch. Visit https://docs.github.com/articles/about-protected-branches/ for more information.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}
bors retry
bors r+