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
36,223 workflow run results
36,223 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 #43581: submitted by eric-wieser
September 28, 2024 23:41 14s
September 28, 2024 23:41 14s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43580: submitted by eric-wieser
September 28, 2024 23:38 3s
September 28, 2024 23:38 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43579: submitted by eric-wieser
September 28, 2024 23:34 11s
September 28, 2024 23:34 11s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43578: submitted by urkud
September 28, 2024 23:30 2s
September 28, 2024 23:30 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43577: submitted by eric-wieser
September 28, 2024 23:07 3s
September 28, 2024 23:07 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43576: submitted by eric-wieser
September 28, 2024 23:07 3s
September 28, 2024 23:07 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43575: submitted by Multramate
September 28, 2024 23:00 8s
September 28, 2024 23:00 8s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43574: submitted by YaelDillies
September 28, 2024 22:30 3s
September 28, 2024 22:30 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43573: submitted by eric-wieser
September 28, 2024 22:30 2s
September 28, 2024 22:30 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43572: submitted by YaelDillies
September 28, 2024 22:30 2s
September 28, 2024 22:30 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43571: submitted by b-mehta
September 28, 2024 22:28 2s
September 28, 2024 22:28 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43570: submitted by YaelDillies
September 28, 2024 21:55 3s
September 28, 2024 21:55 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43569: submitted by YaelDillies
September 28, 2024 21:18 2s
September 28, 2024 21:18 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43568: submitted by mans0954
September 28, 2024 21:18 3s
September 28, 2024 21:18 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43567: submitted by YaelDillies
September 28, 2024 21:17 1s
September 28, 2024 21:17 1s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43566: submitted by eric-wieser
September 28, 2024 21:09 3s
September 28, 2024 21:09 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43565: submitted by YaelDillies
September 28, 2024 20:57 3s
September 28, 2024 20:57 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43564: submitted by mans0954
September 28, 2024 20:55 2s
September 28, 2024 20:55 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43563: submitted by YaelDillies
September 28, 2024 20:49 3s
September 28, 2024 20:49 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43562: submitted by YaelDillies
September 28, 2024 20:48 2s
September 28, 2024 20:48 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43561: submitted by b-mehta
September 28, 2024 20:32 15s
September 28, 2024 20:32 15s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43560: submitted by b-mehta
September 28, 2024 19:50 2s
September 28, 2024 19:50 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43559: submitted by b-mehta
September 28, 2024 19:46 15s
September 28, 2024 19:46 15s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43558: submitted by Ruben-VandeVelde
September 28, 2024 19:39 2s
September 28, 2024 19:39 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #43557: submitted by b-mehta
September 28, 2024 19:13 2s
September 28, 2024 19:13 2s