Add "ready-to-merge" and "delegated" label from comment #47259
Triggered via issue comment
July 9, 2024 21:49
leanprover-community-mathlib4-bot
leanprover-community-mathlib4-bot
created
cf0e331
Status
Skipped
Total duration
2s
Artifacts
–
add_label_from_comment.yml
on: issue_comment
Add ready-to-merge label
0s
Add delegated label
0s