Skip to content

Actions: leanprover-community/mathlib4

Actions

Add "ready-to-merge" and "delegated" label from PR review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_review.yml
38,184 workflow run results
38,184 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45539: submitted by vihdzp
October 13, 2024 22:58 2s
October 13, 2024 22:58 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45538: submitted by loefflerd
October 13, 2024 21:00 3s
October 13, 2024 21:00 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45537: submitted by ocfnash
October 13, 2024 20:13 9s
October 13, 2024 20:13 9s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45536: submitted by loefflerd
October 13, 2024 20:01 6s
October 13, 2024 20:01 6s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45535: submitted by CBirkbeck
October 13, 2024 19:46 3s
October 13, 2024 19:46 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45534: submitted by YaelDillies
October 13, 2024 19:01 3s
October 13, 2024 19:01 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45533: submitted by YaelDillies
October 13, 2024 19:00 3s
October 13, 2024 19:00 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45532: submitted by YaelDillies
October 13, 2024 18:47 2s
October 13, 2024 18:47 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45531: submitted by adomani
October 13, 2024 17:48 3s
October 13, 2024 17:48 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45530: submitted by grunweg
October 13, 2024 17:14 2s
October 13, 2024 17:14 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45529: submitted by joelriou
October 13, 2024 17:12 2s
October 13, 2024 17:12 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45528: submitted by joelriou
October 13, 2024 17:09 3s
October 13, 2024 17:09 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45527: submitted by joelriou
October 13, 2024 17:02 2s
October 13, 2024 17:02 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45526: submitted by joelriou
October 13, 2024 17:00 3s
October 13, 2024 17:00 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45525: submitted by joelriou
October 13, 2024 17:00 4s
October 13, 2024 17:00 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45524: submitted by mans0954
October 13, 2024 15:52 3s
October 13, 2024 15:52 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45523: submitted by digama0
October 13, 2024 15:47 3s
October 13, 2024 15:47 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45522: submitted by YnirPaz
October 13, 2024 15:38 3s
October 13, 2024 15:38 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45521: submitted by sgouezel
October 13, 2024 15:33 2s
October 13, 2024 15:33 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45520: submitted by sgouezel
October 13, 2024 15:29 2s
October 13, 2024 15:29 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45519: submitted by callesonne
October 13, 2024 15:18 2s
October 13, 2024 15:18 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45518: submitted by Ruben-VandeVelde
October 13, 2024 15:05 10s
October 13, 2024 15:05 10s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45517: submitted by CBirkbeck
October 13, 2024 14:54 2s
October 13, 2024 14:54 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45516: submitted by CBirkbeck
October 13, 2024 14:54 2s
October 13, 2024 14:54 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #45515: submitted by YaelDillies
October 13, 2024 14:21 3s
October 13, 2024 14:21 3s