Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Commit Verification (workflow_run) Commit Verification (workflow_run) #9840: completed by archiebrowne
8s
8s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #165412: completed by sgouezel
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #154947: completed by sgouezel
1s
1s
feat(SymbolicDynamics): basic setup of Zd, full shift, cylinders, pat… bot fix style #210680: Issue comment #28546 (comment) created by sgouezel
8s
8s
feat(SymbolicDynamics): basic setup of Zd, full shift, cylinders, pat… Label PR based on Comment #161156: Issue comment #28546 (comment) created by sgouezel
7s
7s
feat(SymbolicDynamics): basic setup of Zd, full shift, cylinders, pat… Add "ready-to-merge" and "delegated" label #238458: Issue comment #28546 (comment) created by sgouezel
1s
1s
feat(SymbolicDynamics): basic setup of Zd, full shift, cylinders, pat… Maintainer merge #259382: Issue comment #28546 (comment) created by sgouezel
1s
1s
Zulip emoji CI status Zulip emoji CI status #49825: requested by archiebrowne
17s
17s
feat(Geometry/Manifold): continuously differentiable actions Run pre-commit and in-place update PR on push #61057: Pull request #38527 synchronize by archiebrowne
29s archiebrowne:contdiffmulaction
archiebrowne:contdiffmulaction
29s
feat(Geometry/Manifold): continuously differentiable actions lint and suggest #171670: Pull request #38527 synchronize by archiebrowne
In progress archiebrowne:contdiffmulaction
archiebrowne:contdiffmulaction
In progress
feat(Geometry/Manifold): continuously differentiable actions Commit Verification #30740: Pull request #38527 synchronize by archiebrowne
45s archiebrowne:contdiffmulaction
archiebrowne:contdiffmulaction
45s
Export workflow telemetry Export workflow telemetry #31872: completed by jano-wol
10s
10s
Zulip emoji CI status Zulip emoji CI status #49824: completed by jano-wol
7s
7s
feat(Geometry/Manifold): continuously differentiable actions continuous integration (mathlib forks) #291847: Pull request #38527 synchronize by archiebrowne
Pending
Pending
feat(Geometry/Manifold): continuously differentiable actions Post PR summary comment #147837: Pull request #38527 synchronize by archiebrowne
1m 3s
1m 3s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #154946: completed by MichaelStollBayreuth
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #165411: completed by MichaelStollBayreuth
1s
1s
feat(NumberTheory/Bernoulli): von Staudt-Clausen theorem Label PR based on Comment #161155: Issue comment #34906 (comment) created by MichaelStollBayreuth
6s
6s
feat(NumberTheory/Bernoulli): von Staudt-Clausen theorem bot fix style #210679: Issue comment #34906 (comment) created by MichaelStollBayreuth
13s
13s
feat(NumberTheory/Bernoulli): von Staudt-Clausen theorem Maintainer merge #259381: Issue comment #34906 (comment) created by MichaelStollBayreuth
Skipped
Skipped
feat(NumberTheory/Bernoulli): von Staudt-Clausen theorem Add "ready-to-merge" and "delegated" label #238457: Issue comment #34906 (comment) created by MichaelStollBayreuth
1s
1s
Commit Verification (workflow_run) Commit Verification (workflow_run) #9839: completed by jano-wol
7s
7s
Zulip emoji CI status Zulip emoji CI status #49823: completed by pre-commit-ci-lite Bot
5s
5s
Export workflow telemetry Export workflow telemetry #31871: completed by pre-commit-ci-lite Bot
5s
5s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #154945: completed by MichaelStollBayreuth
1s
1s