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
41,164 workflow runs
41,164 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 #48702: submitted by madvorak
November 7, 2024 11:57 2s
November 7, 2024 11:57 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48701: submitted by jcommelin
November 7, 2024 11:54 11s
November 7, 2024 11:54 11s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48700: submitted by YaelDillies
November 7, 2024 11:30 3s
November 7, 2024 11:30 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48699: submitted by riccardobrasca
November 7, 2024 11:06 3s
November 7, 2024 11:06 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48698: submitted by joelriou
November 7, 2024 10:59 2s
November 7, 2024 10:59 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48697: submitted by joelriou
November 7, 2024 10:59 2s
November 7, 2024 10:59 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48696: submitted by Thmoas-Guan
November 7, 2024 10:33 2s
November 7, 2024 10:33 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48695: submitted by Thmoas-Guan
November 7, 2024 10:28 2s
November 7, 2024 10:28 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48694: submitted by riccardobrasca
November 7, 2024 09:49 4s
November 7, 2024 09:49 4s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48693: submitted by xroblot
November 7, 2024 09:35 3s
November 7, 2024 09:35 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48692: submitted by xroblot
November 7, 2024 09:33 3s
November 7, 2024 09:33 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48691: submitted by riccardobrasca
November 7, 2024 09:22 14s
November 7, 2024 09:22 14s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48690: submitted by ocfnash
November 7, 2024 09:15 3s
November 7, 2024 09:15 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48689: submitted by madvorak
November 7, 2024 08:42 3s
November 7, 2024 08:42 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48688: submitted by Rida-Hamadani
November 7, 2024 08:29 3s
November 7, 2024 08:29 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48687: submitted by jcommelin
November 7, 2024 08:14 2s
November 7, 2024 08:14 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48686: submitted by RemyDegenne
November 7, 2024 08:04 16s
November 7, 2024 08:04 16s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48685: submitted by kex-y
November 7, 2024 08:03 3s
November 7, 2024 08:03 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48684: submitted by RemyDegenne
November 7, 2024 07:53 2s
November 7, 2024 07:53 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48683: submitted by TwoFX
November 7, 2024 06:41 14s
November 7, 2024 06:41 14s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48682: submitted by jcommelin
November 7, 2024 05:09 2s
November 7, 2024 05:09 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48681: submitted by jcommelin
November 7, 2024 05:07 10s
November 7, 2024 05:07 10s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48680: submitted by jcommelin
November 7, 2024 05:05 3s
November 7, 2024 05:05 3s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48679: submitted by jcommelin
November 7, 2024 05:01 13s
November 7, 2024 05:01 13s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #48678: submitted by jcommelin
November 7, 2024 05:00 11s
November 7, 2024 05:00 11s