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
41,410 workflow runs
41,410 workflow runs

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 #50827: submitted by MichaelStollBayreuth
November 27, 2024 17:32 3s
November 27, 2024 17:32 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50826: submitted by jcommelin
November 27, 2024 16:27 3s
November 27, 2024 16:27 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50825: submitted by hrmacbeth
November 21, 2024 03:24 3s
November 21, 2024 03:24 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50824: submitted by kmill
November 21, 2024 02:51 3s
November 21, 2024 02:51 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50823: submitted by eric-wieser
November 21, 2024 01:59 3s
November 21, 2024 01:59 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50822: submitted by vihdzp
November 21, 2024 01:57 3s
November 21, 2024 01:57 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50821: submitted by kim-em
November 21, 2024 01:54 2s
November 21, 2024 01:54 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50820: submitted by vihdzp
November 21, 2024 01:53 3s
November 21, 2024 01:53 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50819: submitted by kim-em
November 21, 2024 01:48 3s
November 21, 2024 01:48 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50818: submitted by eric-wieser
November 21, 2024 01:46 3s
November 21, 2024 01:46 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50817: submitted by eric-wieser
November 21, 2024 01:45 3s
November 21, 2024 01:45 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50816: submitted by kmill
November 21, 2024 01:41 2s
November 21, 2024 01:41 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50815: submitted by hrmacbeth
November 21, 2024 01:39 4s
November 21, 2024 01:39 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50814: submitted by eric-wieser
November 21, 2024 01:28 3s
November 21, 2024 01:28 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50813: submitted by eric-wieser
November 21, 2024 01:26 2s
November 21, 2024 01:26 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50812: submitted by joelriou
November 21, 2024 01:09 2s
November 21, 2024 01:09 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50811: submitted by joelriou
November 21, 2024 01:08 4s
November 21, 2024 01:08 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50810: submitted by eric-wieser
November 21, 2024 00:26 3s
November 21, 2024 00:26 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50809: submitted by eric-wieser
November 21, 2024 00:24 4s
November 21, 2024 00:24 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50808: submitted by eric-wieser
November 21, 2024 00:23 2s
November 21, 2024 00:23 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50807: submitted by vihdzp
November 21, 2024 00:13 2s
November 21, 2024 00:13 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50806: submitted by eric-wieser
November 21, 2024 00:03 3s
November 21, 2024 00:03 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50805: submitted by adomani
November 20, 2024 23:50 14s
November 20, 2024 23:50 14s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50804: submitted by adomani
November 20, 2024 23:41 3s
November 20, 2024 23:41 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50803: submitted by adomani
November 20, 2024 23:38 3s
November 20, 2024 23:38 3s