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
38,120 workflow runs
38,120 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 #50802: submitted by hrmacbeth
November 20, 2024 23:11 2s
November 20, 2024 23:11 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50801: submitted by pitmonticone
November 20, 2024 22:58 3s
November 20, 2024 22:58 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50800: submitted by adomani
November 20, 2024 22:58 18s
November 20, 2024 22:58 18s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50799: submitted by hrmacbeth
November 20, 2024 22:50 2s
November 20, 2024 22:50 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50798: submitted by eric-wieser
November 20, 2024 22:01 3s
November 20, 2024 22:01 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50797: submitted by eric-wieser
November 20, 2024 22:01 3s
November 20, 2024 22:01 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50796: submitted by alreadydone
November 20, 2024 21:42 3s
November 20, 2024 21:42 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50795: submitted by loefflerd
November 20, 2024 21:41 3s
November 20, 2024 21:41 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50794: submitted by hrmacbeth
November 20, 2024 21:35 2s
November 20, 2024 21:35 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50793: submitted by jcommelin
November 20, 2024 21:13 3s
November 20, 2024 21:13 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50792: submitted by xroblot
November 20, 2024 20:59 3s
November 20, 2024 20:59 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50791: submitted by jcommelin
November 20, 2024 20:57 14s
November 20, 2024 20:57 14s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50790: submitted by pitmonticone
November 20, 2024 20:55 2s
November 20, 2024 20:55 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50789: submitted by jcommelin
November 20, 2024 20:44 3s
November 20, 2024 20:44 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50788: submitted by adomani
November 20, 2024 20:40 4s
November 20, 2024 20:40 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50787: submitted by jcommelin
November 20, 2024 20:29 16s
November 20, 2024 20:29 16s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50786: submitted by Ruben-VandeVelde
November 20, 2024 20:27 9s
November 20, 2024 20:27 9s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50785: submitted by jcommelin
November 20, 2024 20:06 14s
November 20, 2024 20:06 14s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50784: submitted by acmepjz
November 20, 2024 18:59 2s
November 20, 2024 18:59 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50783: submitted by mattrobball
November 20, 2024 18:57 3s
November 20, 2024 18:57 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50782: submitted by alreadydone
November 20, 2024 18:54 3s
November 20, 2024 18:54 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50781: submitted by alreadydone
November 20, 2024 18:54 3s
November 20, 2024 18:54 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50780: submitted by vihdzp
November 20, 2024 18:48 2s
November 20, 2024 18:48 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50779: submitted by vihdzp
November 20, 2024 18:47 3s
November 20, 2024 18:47 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #50778: submitted by alreadydone
November 20, 2024 18:36 3s
November 20, 2024 18:36 3s