Skip to content

Actions: leanprover-community/mathlib4

Actions

Add "ready-to-merge" and "delegated" label (workflow_run)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_bors_wf_run.yml
49,141 workflow runs
49,141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49141: completed by eric-wieser
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49140: completed by eric-wieser
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49139: completed by fpvandoorn
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49138: completed by fpvandoorn
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49137: completed by FormulaRabbit81
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49136: completed by FormulaRabbit81
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49135: completed by alreadydone
8s
8s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49134: completed by alreadydone
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49133: completed by alreadydone
8s
8s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49132: completed by alreadydone
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49131: completed by ADedecker
7s
7s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49130: completed by ADedecker
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49129: completed by ADedecker
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49128: completed by ADedecker
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49127: completed by ADedecker
21s
21s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49126: completed by ADedecker
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49125: completed by ADedecker
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49124: completed by ADedecker
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49123: completed by ADedecker
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49122: completed by mathlib-bors bot
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49121: completed by ADedecker
24s
24s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49120: completed by ADedecker
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49119: completed by ADedecker
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49118: completed by ADedecker
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #49117: completed by ADedecker
9s
9s