Skip to content

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

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

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

Triggered via pull request review comment November 22, 2024 23:50
Status Success
Total duration 1m 4s
Artifacts

maintainer_bors.yml

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