Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,522,274 workflow runs
1,522,274 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #102827: Scheduled
12s master
master
12s
Merge conflicts Merge conflicts #100573: Scheduled
23s master
master
23s
Dependent Issues Dependent Issues #102826: Scheduled
8s master
master
8s
Merge conflicts Merge conflicts #100572: Scheduled
10m 27s master
master
10m 27s
Dependent Issues Dependent Issues #102825: Scheduled
12s master
master
12s
doc(README): linter -> linters Run pre-commit and in-place update PR on push #27039: Pull request #33533 synchronize by Rida-Hamadani
21s Rida-Hamadani:patch-1
Rida-Hamadani:patch-1
21s
doc(README): linter -> linters lint and suggest #139718: Pull request #33533 synchronize by Rida-Hamadani
6m 44s Rida-Hamadani:patch-1
Rida-Hamadani:patch-1
6m 44s
doc(README): linter -> linters continuous integration (mathlib forks) #259069: Pull request #33533 synchronize by Rida-Hamadani
19m 40s
19m 40s
doc(README): linter -> linters Post PR summary comment #114909: Pull request #33533 synchronize by Rida-Hamadani
1m 17s
1m 17s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #94061: completed by sun123zxy
1s
1s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank Maintainer merge #187680: Issue comment #33359 (comment) edited by sun123zxy
1s
1s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank bot fix style #138990: Issue comment #33359 (comment) edited by sun123zxy
7s
7s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank Run pre-commit and in-place update PR on push #27038: Pull request #33359 synchronize by sun123zxy
27s sun123zxy:spanrank
sun123zxy:spanrank
27s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank lint and suggest #139717: Pull request #33359 synchronize by sun123zxy
1m 59s sun123zxy:spanrank
sun123zxy:spanrank
1m 59s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank Post PR summary comment #114908: Pull request #33359 synchronize by sun123zxy
1m 12s
1m 12s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank continuous integration (mathlib forks) #259068: Pull request #33359 synchronize by sun123zxy
16m 40s
16m 40s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #94060: completed by sun123zxy
Skipped
Skipped
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank bot fix style #138989: Issue comment #33359 (comment) edited by sun123zxy
12s
12s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank Maintainer merge #187679: Issue comment #33359 (comment) edited by sun123zxy
1s
1s
Dependent Issues Dependent Issues #102824: Scheduled
7m 28s master
master
7m 28s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #88487: completed by sun123zxy
13s
13s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #94059: completed by sun123zxy
1s
1s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank Maintainer merge #187678: Issue comment #33359 (comment) created by sun123zxy
1s
1s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank Label PR based on Comment #104089: Issue comment #33359 (comment) created by sun123zxy
6s
6s
feat(Algebra/Module/SpanRank): add comparing lemmas for span rank bot fix style #138988: Issue comment #33359 (comment) created by sun123zxy
8s
8s