Closed TheNeikos closed 1 year ago
bors merge
:clock1: Waiting for PR status (GitHub check) to be set, probably by CI. Bors will automatically try to run when all required PR statuses are set.
Bors cancel
Bors merge
Build succeeded:
bors merge