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

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

Sign in to view logs

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

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

Triggered via pull request review November 22, 2024 23:24
@joelrioujoelriou
submitted ⁠ 3dab631
Status Success
Total duration 14s
Artifacts –

maintainer_bors.yml

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