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
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp continuous integration (mathlib forks) #289026: Pull request #37862 synchronize by DanielJHorton
Pending
Pending
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp Post PR summary comment #145013: Pull request #37862 synchronize by DanielJHorton
Queued
Queued
Commit Verification (workflow_run) Commit Verification (workflow_run) #7075: completed by Jun2M
8s
8s
Export workflow telemetry Export workflow telemetry #28569: completed by dagurtomas
9s
9s
Zulip emoji CI status Zulip emoji CI status #43658: completed by dagurtomas
7s
7s
Zulip emoji CI status Zulip emoji CI status #43657: requested by Jun2M
13s
13s
feat(Combinatorics/Graph): Edge cut of Graph Run pre-commit and in-place update PR on push #58236: Pull request #37865 synchronize by Jun2M
23s Jun2M:GraphEdgeCut
Jun2M:GraphEdgeCut
23s
feat(Combinatorics/Graph): Edge cut of Graph lint and suggest #168902: Pull request #37865 synchronize by Jun2M
In progress Jun2M:GraphEdgeCut
Jun2M:GraphEdgeCut
In progress
feat(Combinatorics/Graph): Edge cut of Graph Commit Verification #27972: Pull request #37865 synchronize by Jun2M
44s Jun2M:GraphEdgeCut
Jun2M:GraphEdgeCut
44s
feat(Combinatorics/Graph): Edge cut of Graph continuous integration (mathlib forks) #289025: Pull request #37865 synchronize by Jun2M
Pending
Pending
feat(Combinatorics/Graph): Edge cut of Graph Post PR summary comment #145012: Pull request #37865 synchronize by Jun2M
1m 1s
1m 1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #149199: completed by themathqueen
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #14303: completed by themathqueen
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #159120: completed by themathqueen
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #149198: completed by themathqueen
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #159119: completed by themathqueen
2s
2s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp splice-bot #14392: Pull request #37862 created by themathqueen
1s
1s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp Add "ready-to-merge" and "delegated" label #232710: Pull request #37862 created by themathqueen
1s
1s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp Maintainer merge #253090: Pull request #37862 created by themathqueen
1s
1s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp Label PR based on Comment #155408: Pull request #37862 created by themathqueen
7s
7s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp bot fix style #204388: Pull request #37862 created by themathqueen
11s
11s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp Add "ready-to-merge" and "delegated" label #232709: Pull request #37862 submitted by themathqueen
1s
1s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp Label PR based on Comment #155407: Pull request #37862 submitted by themathqueen
8s
8s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp Maintainer merge #253089: Pull request #37862 submitted by themathqueen
2s
2s
feat(LinearAlgebra/BilinearMap): associativity of compl/compr and comp bot fix style #204387: Pull request #37862 submitted by themathqueen
9s
9s