Add "ready-to-merge" and "delegated" label (workflow_run) #81517
Triggered via workflow run
December 16, 2025 23:53
mathlib-bors[bot]
mathlib-bors[bot]
completed
edaf32c
Status
Success
Total duration
9s
Artifacts
–
maintainer_bors_wf_run.yml
on: workflow_run
Add ready-to-merge or delegated label
6s