Add "ready-to-merge" and "delegated" label (workflow_run) #146469
Triggered via workflow run
April 11, 2026 14:23
mathlib-merge-conflicts[bot]
mathlib-merge-conflicts[bot]
completed
ab80b70
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_bors_wf_run.yml
on: workflow_run
Add ready-to-merge or delegated label