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
30,904 workflow run results
30,904 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 #37651: submitted by grunweg
July 29, 2024 23:00 2s
July 29, 2024 23:00 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37650: submitted by grunweg
July 29, 2024 22:59 2s
July 29, 2024 22:59 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37649: submitted by ocfnash
July 29, 2024 22:04 12s
July 29, 2024 22:04 12s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37648: submitted by dupuisf
July 29, 2024 21:48 3s
July 29, 2024 21:48 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37647: submitted by dupuisf
July 29, 2024 21:46 2s
July 29, 2024 21:46 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37646: submitted by JonBannon
July 29, 2024 21:19 2s
July 29, 2024 21:19 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37645: submitted by kbuzzard
July 29, 2024 20:49 13s
July 29, 2024 20:49 13s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37644: submitted by YaelDillies
July 29, 2024 20:24 3s
July 29, 2024 20:24 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37643: submitted by dagurtomas
July 29, 2024 20:10 2s
July 29, 2024 20:10 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37642: submitted by Ruben-VandeVelde
July 29, 2024 20:06 2s
July 29, 2024 20:06 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37641: submitted by Ruben-VandeVelde
July 29, 2024 20:05 2s
July 29, 2024 20:05 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37640: submitted by dagurtomas
July 29, 2024 20:03 4s
July 29, 2024 20:03 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37639: submitted by tb65536
July 29, 2024 19:40 3s
July 29, 2024 19:40 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37638: submitted by dupuisf
July 29, 2024 18:32 2s
July 29, 2024 18:32 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37637: submitted by dupuisf
July 29, 2024 18:31 2s
July 29, 2024 18:31 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37636: submitted by dupuisf
July 29, 2024 18:27 2s
July 29, 2024 18:27 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37635: submitted by tb65536
July 29, 2024 18:27 2s
July 29, 2024 18:27 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37634: submitted by dupuisf
July 29, 2024 18:26 2s
July 29, 2024 18:26 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37633: submitted by JonBannon
July 29, 2024 18:06 2s
July 29, 2024 18:06 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37632: submitted by JonBannon
July 29, 2024 17:41 2s
July 29, 2024 17:41 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37631: submitted by j-loreaux
July 29, 2024 17:38 3s
July 29, 2024 17:38 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37630: submitted by tb65536
July 29, 2024 17:23 2s
July 29, 2024 17:23 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37629: submitted by j-loreaux
July 29, 2024 17:11 2s
July 29, 2024 17:11 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37628: submitted by mariainesdff
July 29, 2024 15:39 2s
July 29, 2024 15:39 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #37627: submitted by pitmonticone
July 29, 2024 14:45 3s
July 29, 2024 14:45 3s