Add "ready-to-merge" and "delegated" label #131554
Triggered via pull request review
October 17, 2025 14:15
Ruben-VandeVelde
submitted
254bd02
Status
Success
Total duration
18s
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Add ready-to-merge or delegated label
6s