Skip to content
Add "ready-to-merge" and "delegated" label

Add "ready-to-merge" and "delegated" label #128822

Sign in to view logs

Add "ready-to-merge" and "delegated" label

Add "ready-to-merge" and "delegated" label #128822

Triggered via pull request review October 10, 2025 23:06
@erdOneerdOne
submitted ⁠ 1b0352f
Status Success
Total duration 7s
Artifacts –

maintainer_bors.yml

on: pull_request_review
Add ready-to-merge or delegated label
5s
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in