Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,379,296 workflow runs
1,379,296 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Combinators/SimpleGraph/Hamiltonian): p.support.length = Fintype.card α Run pre-commit and in-place update PR on push #6526: Pull request #30206 synchronize by SnirBroshi
25s SnirBroshi:feature/hamiltonian-length
SnirBroshi:feature/hamiltonian-length
25s
feat(Combinators/SimpleGraph/Hamiltonian): p.support.length = Fintype.card α lint and suggest #120621: Pull request #30206 synchronize by SnirBroshi
In progress SnirBroshi:feature/hamiltonian-length
SnirBroshi:feature/hamiltonian-length
In progress
feat(Combinators/SimpleGraph/Hamiltonian): p.support.length = Fintype.card α Post PR summary comment #95383: Pull request #30206 synchronize by SnirBroshi
1m 13s
1m 13s
feat(Combinators/SimpleGraph/Hamiltonian): p.support.length = Fintype.card α continuous integration (mathlib forks) #239537: Pull request #30206 synchronize by SnirBroshi
In progress
In progress
feat: a topological group acts on itself properly lint and suggest #120620: Pull request #30387 synchronize by ADedecker
3m 27s ADedecker:AD_properAction_self
ADedecker:AD_properAction_self
3m 27s
feat: a topological group acts on itself properly Run pre-commit and in-place update PR on push #6525: Pull request #30387 synchronize by ADedecker
24s ADedecker:AD_properAction_self
ADedecker:AD_properAction_self
24s
feat: a topological group acts on itself properly Post PR summary comment #95382: Pull request #30387 synchronize by ADedecker
1m 16s
1m 16s
feat: a topological group acts on itself properly continuous integration (mathlib forks) #239536: Pull request #30387 synchronize by ADedecker
In progress
In progress
feat(CategoryTheory): naturality lemmas for Core construction .github/workflows/zulip_emoji_labelling.yaml #22392: Pull request #29284 labeled by joelriou
18s
18s
feat: a topological group acts on itself properly Run pre-commit and in-place update PR on push #6524: Pull request #30387 synchronize by ADedecker
30s ADedecker:AD_properAction_self
ADedecker:AD_properAction_self
30s
feat: a topological group acts on itself properly lint and suggest #120619: Pull request #30387 synchronize by ADedecker
3m 13s ADedecker:AD_properAction_self
ADedecker:AD_properAction_self
3m 13s
feat: a topological group acts on itself properly Post PR summary comment #95381: Pull request #30387 synchronize by ADedecker
1m 17s
1m 17s
feat: a topological group acts on itself properly continuous integration (mathlib forks) #239535: Pull request #30387 synchronize by ADedecker
In progress
In progress
Dependent Issues Dependent Issues #96107: Scheduled
7m 35s master
master
7m 35s
Merge conflicts Merge conflicts #94120: Scheduled
18s master
master
18s
Update Mathlib Dependencies Update Mathlib Dependencies #11817: Scheduled
1m 8s master
master
1m 8s
feat(Algebra/Order/Module): add missing instances .github/workflows/zulip_emoji_labelling.yaml #22391: Pull request #30544 labeled by leanprover-community-mathlib4-bot
18s
18s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #51514: completed by YaelDillies
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #48688: completed by YaelDillies
11s
11s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #51513: completed by YaelDillies
14s
14s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #48687: completed by YaelDillies
12s
12s
Maintainer merge Maintainer merge #145056: created by YaelDillies
10s
10s
Add "ready-to-merge" and "delegated" label Add "ready-to-merge" and "delegated" label #131789: created by YaelDillies
8s
8s
bot fix style bot fix style #96366: created by YaelDillies
14s
14s
bot fix style bot fix style #96365: submitted by YaelDillies
11s
11s