Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,542,254 workflow runs
1,542,254 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #101573: Scheduled
In progress master
master
In progress
Update Mathlib Dependencies Update Mathlib Dependencies #13990: Scheduled
1m 9s master
master
1m 9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #95620: completed by robertmaxton42
8s
8s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #95619: completed by robertmaxton42
12s
12s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #95618: completed by robertmaxton42
11s
11s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #101712: completed by robertmaxton42
7s
7s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #101711: completed by robertmaxton42
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #101710: completed by robertmaxton42
1s
1s
feat(Topology): implement delaborators for non-standard topology notation bot fix style #146677: Pull request #31425 created by robertmaxton42
11s
11s
feat(Topology): implement delaborators for non-standard topology notation Add "ready-to-merge" and "delegated" label #178833: Pull request #31425 created by robertmaxton42
8s
8s
feat(Topology): implement delaborators for non-standard topology notation Maintainer merge #195367: Pull request #31425 created by robertmaxton42
1s
1s
feat(Topology): implement delaborators for non-standard topology notation Add "ready-to-merge" and "delegated" label #178832: Pull request #31425 created by robertmaxton42
6s
6s
feat(Topology): implement delaborators for non-standard topology notation Maintainer merge #195366: Pull request #31425 created by robertmaxton42
1s
1s
feat(Topology): implement delaborators for non-standard topology notation bot fix style #146676: Pull request #31425 created by robertmaxton42
8s
8s
feat(Topology): implement delaborators for non-standard topology notation Maintainer merge #195365: Pull request #31425 submitted by robertmaxton42
2s
2s
feat(Topology): implement delaborators for non-standard topology notation Add "ready-to-merge" and "delegated" label #178831: Pull request #31425 submitted by robertmaxton42
10s
10s
feat(Topology): implement delaborators for non-standard topology notation bot fix style #146675: Pull request #31425 submitted by robertmaxton42
8s
8s
Dependent Issues Dependent Issues #103904: Scheduled
7m 4s master
master
7m 4s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #95617: completed by SnirBroshi
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #95616: completed by SnirBroshi
12s
12s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #101709: completed by SnirBroshi
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #101708: completed by SnirBroshi
Skipped
Skipped
feat(SimpleGraph): add max-flow/min-cut weak duality Maintainer merge #195364: Pull request #34028 created by SnirBroshi
1s
1s
feat(SimpleGraph): add max-flow/min-cut weak duality bot fix style #146674: Pull request #34028 submitted by SnirBroshi
12s
12s
feat(SimpleGraph): add max-flow/min-cut weak duality bot fix style #146673: Pull request #34028 created by SnirBroshi
8s
8s