Workflow runs · leanprover-community/mathlib4 · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,500+ workflow runs

2,500+ workflow runs

Zulip emoji reconcile Zulip emoji reconcile #17749: requested by themathqueen

In progress

In progress

feat(Analysis/CStarAlgebra): a continuous linear functional f is monotone iff ‖f‖ = f 1 Commit Verification #60856: Pull request #35352 synchronize by themathqueen

In progress themathqueen:posMapNorm

themathqueen:posMapNorm

In progress

feat(Analysis/CStarAlgebra): a continuous linear functional f is monotone iff ‖f‖ = f 1 Run pre-commit and in-place update PR on push #91589: Pull request #35352 synchronize by themathqueen

Queued themathqueen:posMapNorm

themathqueen:posMapNorm

Queued

feat(Analysis/CStarAlgebra): a continuous linear functional f is monotone iff ‖f‖ = f 1 lint and suggest #201784: Pull request #35352 synchronize by themathqueen

In progress themathqueen:posMapNorm

themathqueen:posMapNorm

In progress

feat(Analysis/CStarAlgebra): a continuous linear functional f is monotone iff ‖f‖ = f 1 continuous integration (mathlib forks) #322612: Pull request #35352 synchronize by themathqueen

Queued

Queued

feat(Analysis/CStarAlgebra): a continuous linear functional f is monotone iff ‖f‖ = f 1 Post PR summary comment #178778: Pull request #35352 synchronize by themathqueen

In progress

In progress

feat(Geometry): affine maps from the standard simplex Zulip emoji reconcile #17748: Pull request #43260 labeled by mathlib-bors Bot

32s

32s

feat(combinatorics): pentagonal number theorem for normed ring Zulip emoji reconcile #17747: Pull request #42185 labeled by mathlib-bors Bot

18s

18s

continuous integration (staging) continuous integration (staging) #25665: by mathlib-bors Bot

In progress staging

staging

In progress

Maintainer merge (workflow_run) Maintainer merge (workflow_run) #231080: completed by JuanCoRo

2s

2s

Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #215651: completed by JuanCoRo

1s

1s

olean report (workflow_run) olean report (workflow_run) #20524: completed by JuanCoRo

2s

2s

Maintainer merge (workflow_run) Maintainer merge (workflow_run) #231079: completed by mathlib-bors Bot

1s

1s

feat(Algebra/Polynomial): linearity of divByMonic and adjacent results PR check downstream #14136: Issue comment #39868 (comment) created by JuanCoRo

3s

3s

feat(Algebra/Polynomial): linearity of divByMonic and adjacent results Bors merge/delegate follow-up #299431: Issue comment #39868 (comment) created by JuanCoRo

1s

1s

feat(Algebra/Polynomial): linearity of divByMonic and adjacent results bot fix style #276631: Issue comment #39868 (comment) created by JuanCoRo

12s

12s

feat(Algebra/Polynomial): linearity of divByMonic and adjacent results olean report #20525: Issue comment #39868 (comment) created by JuanCoRo

1s

1s

feat(Algebra/Polynomial): linearity of divByMonic and adjacent results Label PR based on Comment #222131: Issue comment #39868 (comment) created by JuanCoRo

6s

6s

feat(Algebra/Polynomial): linearity of divByMonic and adjacent results Maintainer merge #325330: Issue comment #39868 (comment) created by JuanCoRo

1s

1s

Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #215650: completed by mathlib-bors Bot

1s

1s

Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #215649: completed by mathlib-bors Bot

1s

1s

Maintainer merge (workflow_run) Maintainer merge (workflow_run) #231078: completed by mathlib-bors Bot

2s

2s

olean report (workflow_run) olean report (workflow_run) #20523: completed by mathlib-bors Bot

1s

1s

[Merged by Bors] - feat(Data/Set/Finite): Set.Finite.sigma Check PR titles #38284: Pull request #41967 edited by mathlib-bors Bot

1s

1s

[Merged by Bors] - feat(Data/Set/Finite): Set.Finite.sigma Zulip emoji reconcile #17746: Pull request #41967 closed by mathlib-bors Bot

20s

20s