Add "ready-to-merge" and "delegated" label (workflow_run) #141486
Triggered via workflow run
April 3, 2026 10:02
mathlib-bors[bot]
mathlib-bors[bot]
completed
a1ce43f
Status
Skipped
Total duration
–
Artifacts
–
maintainer_bors_wf_run.yml
on: workflow_run
Add ready-to-merge or delegated label
0s