Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
olean report (workflow_run) olean report (workflow_run) #21742: completed by mathlib-dependent-issues Bot
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #235195: completed by mathlib-dependent-issues Bot
2s
2s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #219493: completed by mathlib-dependent-issues Bot
8s
8s
chore: rename CoAlg{Hom,Equiv}Class.toCoAlg{Hom,Equiv} as CoAlg{Hom,Equiv}.ofClass Label PR based on Comment #225964: Issue comment #43576 (comment) created by mathlib-dependent-issues Bot
6s
6s
chore: rename CoAlg{Hom,Equiv}Class.toCoAlg{Hom,Equiv} as CoAlg{Hom,Equiv}.ofClass Bors merge/delegate follow-up #303264: Issue comment #43576 (comment) created by mathlib-dependent-issues Bot
1s
1s
chore: rename CoAlg{Hom,Equiv}Class.toCoAlg{Hom,Equiv} as CoAlg{Hom,Equiv}.ofClass Maintainer merge #329436: Issue comment #43576 (comment) created by mathlib-dependent-issues Bot
1s
1s
chore: rename CoAlg{Hom,Equiv}Class.toCoAlg{Hom,Equiv} as CoAlg{Hom,Equiv}.ofClass olean report #21743: Issue comment #43576 (comment) created by mathlib-dependent-issues Bot
2s
2s
chore: rename CoAlg{Hom,Equiv}Class.toCoAlg{Hom,Equiv} as CoAlg{Hom,Equiv}.ofClass bot fix style #280737: Issue comment #43576 (comment) created by mathlib-dependent-issues Bot
9s
9s
chore: rename CoAlg{Hom,Equiv}Class.toCoAlg{Hom,Equiv} as CoAlg{Hom,Equiv}.ofClass PR check downstream #15354: Issue comment #43576 (comment) created by mathlib-dependent-issues Bot
2s
2s
chore: rename CoAlg{Hom,Equiv}Class.toCoAlg{Hom,Equiv} as CoAlg{Hom,Equiv}.ofClass Zulip emoji reconcile #23658: Pull request #43576 labeled by mathlib-dependent-issues Bot
Pending
Pending
Dependent Issues Dependent Issues #115359: Scheduled
In progress master
master
In progress
Zulip emoji reconcile Zulip emoji reconcile #23657: completed by thomaskwaring
2m 15s
2m 15s
Declarations diff (post-build) Declarations diff (post-build) #24284: completed by thomaskwaring
7s
7s
Export workflow telemetry Export workflow telemetry #69930: completed by thomaskwaring
7s
7s
Declarations diff (post-build) Declarations diff (post-build) #24283: completed by grunweg
54s
54s
Zulip emoji reconcile Zulip emoji reconcile #23656: completed by grunweg
36s
36s
Export workflow telemetry Export workflow telemetry #69929: completed by grunweg
9s
9s
Zulip emoji reconcile Zulip emoji reconcile #23655: completed by metakunt
9s
9s
Declarations diff (post-build) Declarations diff (post-build) #24282: completed by metakunt
52s
52s
Export workflow telemetry Export workflow telemetry #69928: completed by metakunt
44s
44s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #235194: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #40152: completed by themathqueen
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #219492: completed by themathqueen
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #235193: completed by themathqueen
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #219491: completed by themathqueen
11s
11s