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

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

Sign in to view logs

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

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

Triggered via pull request review September 30, 2025 16:19
@CBirkbeckCBirkbeck
submitted ⁠ 94832b9
Status Success
Total duration 8s
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
⚡