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) #24326: completed by TJHeeringa
10s
10s
Export workflow telemetry Export workflow telemetry #49266: completed by TJHeeringa
8s
8s
Zulip emoji CI status Zulip emoji CI status #82220: completed by TJHeeringa
9s
9s
Declarations diff (post-build) Declarations diff (post-build) #4981: completed by TJHeeringa
9s
9s
Commit Verification (workflow_run) Commit Verification (workflow_run) #24325: completed by xroblot
6s
6s
Export workflow telemetry Export workflow telemetry #49265: completed by TJHeeringa
6s
6s
Declarations diff (post-build) Declarations diff (post-build) #4980: completed by TJHeeringa
1s
1s
Zulip emoji CI status Zulip emoji CI status #82219: completed by TJHeeringa
6s
6s
feat(Topology/Algebra): add ContinuousLinearEquiv.ofContinuousLinearMap lint and suggest #186155: Pull request #40841 synchronize by TJHeeringa
In progress TJHeeringa:continuousLinearEquiv_ofContinuousLinear
TJHeeringa:continuousLinearEquiv_ofContinuousLinear
In progress
feat(Topology/Algebra): add ContinuousLinearEquiv.ofContinuousLinearMap Run pre-commit and in-place update PR on push #75755: Pull request #40841 synchronize by TJHeeringa
20s TJHeeringa:continuousLinearEquiv_ofContinuousLinear
TJHeeringa:continuousLinearEquiv_ofContinuousLinear
20s
feat(Topology/Algebra): add ContinuousLinearEquiv.ofContinuousLinearMap Commit Verification #45224: Pull request #40841 synchronize by TJHeeringa
47s TJHeeringa:continuousLinearEquiv_ofContinuousLinear
TJHeeringa:continuousLinearEquiv_ofContinuousLinear
47s
Zulip emoji CI status Zulip emoji CI status #82218: requested by TJHeeringa
14s
14s
feat(Topology/Algebra): add ContinuousLinearEquiv.ofContinuousLinearMap continuous integration (mathlib forks) #306742: Pull request #40841 synchronize by TJHeeringa
In progress
In progress
feat(Topology/Algebra): add ContinuousLinearEquiv.ofContinuousLinearMap Post PR summary comment #162844: Pull request #40841 synchronize by TJHeeringa
1m 25s
1m 25s
feat(RingTheory/Localization/FractionRing): add IsFractionRing.fixingSubgroup_range_algebraMap Check PR titles #29732: Pull request #40864 edited by xroblot
9s
9s
Zulip emoji CI status Zulip emoji CI status #82217: requested by xroblot
16s
16s
feat(RingTheory/Localization/FractionRing): add IsFractionRing.fixingSubgroup_range_algebraMap continuous integration (mathlib forks) #306741: Pull request #40864 synchronize by xroblot
Pending
Pending
feat(RingTheory/Localization/FractionRing): add IsFractionRing.fixingSubgroup_range_algebraMap Run pre-commit and in-place update PR on push #75754: Pull request #40864 synchronize by xroblot
22s xroblot:fixingsubgroup-fractionring
xroblot:fixingsubgroup-fractionring
22s
feat(RingTheory/Localization/FractionRing): add IsFractionRing.fixingSubgroup_range_algebraMap lint and suggest #186154: Pull request #40864 synchronize by xroblot
2m 9s xroblot:fixingsubgroup-fractionring
xroblot:fixingsubgroup-fractionring
2m 9s
feat(RingTheory/Localization/FractionRing): add IsFractionRing.fixingSubgroup_range_algebraMap Commit Verification #45223: Pull request #40864 synchronize by xroblot
41s xroblot:fixingsubgroup-fractionring
xroblot:fixingsubgroup-fractionring
41s
feat(RingTheory/Localization/FractionRing): add IsFractionRing.fixingSubgroup_range_algebraMap Post PR summary comment #162843: Pull request #40864 synchronize by xroblot
1m 17s
1m 17s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #184063: completed by matteo-ax
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #196985: completed by matteo-ax
9s
9s
olean report (workflow_run) olean report (workflow_run) #9890: completed by matteo-ax
1s
1s
Maintainer merge Maintainer merge #290996: created by matteo-ax
1s
1s