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 retry
bors cancel
Canceled.
Build succeeded:
bors merge