Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,543,310 workflow runs
1,543,310 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dependent Issues Dependent Issues #104116: Scheduled
In progress master
master
In progress
chore(Data/Nat/Factorial): replace n ! with (n)! everywhere Commit Verification #2537: Pull request #33921 synchronize by SnirBroshi
41s SnirBroshi:chore/factorial-notation
SnirBroshi:chore/factorial-notation
41s
chore(Data/Nat/Factorial): replace n ! with (n)! everywhere lint and suggest #143463: Pull request #33921 synchronize by SnirBroshi
2m 8s SnirBroshi:chore/factorial-notation
SnirBroshi:chore/factorial-notation
2m 8s
chore(Data/Nat/Factorial): replace n ! with (n)! everywhere Run pre-commit and in-place update PR on push #31043: Pull request #33921 synchronize by SnirBroshi
25s SnirBroshi:chore/factorial-notation
SnirBroshi:chore/factorial-notation
25s
chore(Data/Nat/Factorial): replace n ! with (n)! everywhere Post PR summary comment #118751: Pull request #33921 synchronize by SnirBroshi
1m 9s
1m 9s
chore(Data/Nat/Factorial): replace n ! with (n)! everywhere continuous integration (mathlib forks) #262911: Pull request #33921 synchronize by SnirBroshi
In progress
In progress
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #96538: completed by ocfnash
10s
10s
feat(Analysis/InnerProductSpace): finite-dimensional inner product space with an algebra implies a coalgebra .github/workflows/zulip_emoji_labelling.yaml #37178: Pull request #30880 labeled by leanprover-community-mathlib4-bot
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #102712: completed by ocfnash
10s
10s
feat(Analysis/InnerProductSpace): finite-dimensional inner product space with an algebra implies a coalgebra Add "ready-to-merge" and "delegated" label #179751: Issue comment #30880 (comment) created by ocfnash
26s
26s
feat(Analysis/InnerProductSpace): finite-dimensional inner product space with an algebra implies a coalgebra Label PR based on Comment #106538: Issue comment #30880 (comment) created by ocfnash
5s
5s
feat(Analysis/InnerProductSpace): finite-dimensional inner product space with an algebra implies a coalgebra Maintainer merge #196367: Issue comment #30880 (comment) created by ocfnash
1s
1s
feat(Analysis/InnerProductSpace): finite-dimensional inner product space with an algebra implies a coalgebra bot fix style #147677: Issue comment #30880 (comment) created by ocfnash
10s
10s
feat(Analysis): classical adjacency matrices are quantum adjacency matrices Run pre-commit and in-place update PR on push #31042: Pull request #34119 synchronize by themathqueen
21s themathqueen:euclideanSpace_qg
themathqueen:euclideanSpace_qg
21s
feat(Analysis): classical adjacency matrices are quantum adjacency matrices Commit Verification #2536: Pull request #34119 synchronize by themathqueen
43s themathqueen:euclideanSpace_qg
themathqueen:euclideanSpace_qg
43s
feat(Analysis): classical adjacency matrices are quantum adjacency matrices lint and suggest #143462: Pull request #34119 synchronize by themathqueen
1s themathqueen:euclideanSpace_qg
themathqueen:euclideanSpace_qg
1s
feat(Analysis): classical adjacency matrices are quantum adjacency matrices Post PR summary comment #118750: Pull request #34119 synchronize by themathqueen
1m 7s
1m 7s
feat(Analysis): classical adjacency matrices are quantum adjacency matrices continuous integration (mathlib forks) #262910: Pull request #34119 synchronize by themathqueen
In progress
In progress
feat: vector measures associated to functions of bounded variation Commit Verification #2535: Pull request #34055 synchronize by sgouezel
45s sgouezel:SG_vecMeas
sgouezel:SG_vecMeas
45s
feat: vector measures associated to functions of bounded variation Run pre-commit and in-place update PR on push #31041: Pull request #34055 synchronize by sgouezel
27s sgouezel:SG_vecMeas
sgouezel:SG_vecMeas
27s
feat: vector measures associated to functions of bounded variation lint and suggest #143461: Pull request #34055 synchronize by sgouezel
1s sgouezel:SG_vecMeas
sgouezel:SG_vecMeas
1s
feat: vector measures associated to functions of bounded variation Post PR summary comment #118749: Pull request #34055 synchronize by sgouezel
1m 13s
1m 13s
feat: vector measures associated to functions of bounded variation continuous integration (mathlib forks) #262909: Pull request #34055 synchronize by sgouezel
In progress
In progress
Merge conflicts Merge conflicts #101770: Scheduled
10m 28s master
master
10m 28s
Ehresmann connection lint and suggest #143460: Pull request #34129 synchronize by idontgetoutmuch
2m 13s idontgetoutmuch:ehresmann-connection
idontgetoutmuch:ehresmann-connection
2m 13s