Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge (workflow_run)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_merge_wf_run.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214682: completed by leanprover-radar
11s
11s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214681: completed by marcelolynch
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214680: completed by leanprover-radar
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214679: completed by leanprover-radar
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214678: completed by marcelolynch
11s
11s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214677: completed by CoolRmal
2s
2s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214676: completed by CoolRmal
5s
5s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214675: completed by felixpernegger
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214674: completed by mathlib-bors Bot
9s
9s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214673: completed by mathlib-bors Bot
9s
9s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214672: completed by felixpernegger
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214671: completed by NoahW314
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214670: completed by Whysoserioushah
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214669: completed by Whysoserioushah
10s
10s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214668: completed by Whysoserioushah
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214667: completed by Whysoserioushah
2s
2s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214666: completed by Whysoserioushah
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214665: completed by Whysoserioushah
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214664: completed by Whysoserioushah
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214663: completed by j-loreaux
10s
10s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214662: completed by wwylele
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214661: completed by j-loreaux
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214660: completed by j-loreaux
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214659: completed by mathlib-bors Bot
8s
8s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #214658: completed by j-loreaux
1s
1s