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
Merge conflicts Merge conflicts #108751: Scheduled
In progress master
master
In progress
Dependent Issues Dependent Issues #112032: Scheduled
In progress master
master
In progress
Declarations diff (post-build) Declarations diff (post-build) #9586: completed by teorth
1s
1s
Export workflow telemetry Export workflow telemetry #54200: completed by teorth
7s
7s
Zulip emoji CI status Zulip emoji CI status #91411: completed by teorth
16s
16s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map .github/workflows/zulip_emoji_labelling.yaml #66586: Pull request #41400 labeled by mathlib-bors Bot
1s
1s
feat(RepresentationTheory/Intertwining): a central element of the Mon… continuous integration (staging) #24759: Commit ec463ea pushed by mathlib-bors Bot
In progress staging
staging
In progress
olean report (workflow_run) olean report (workflow_run) #12429: completed by riccardobrasca
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #192055: completed by riccardobrasca
21s
21s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #205521: completed by riccardobrasca
1s
1s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map .github/workflows/zulip_emoji_labelling.yaml #66585: Pull request #41400 labeled by mathlib-bors Bot
1s
1s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map PR check downstream #6039: Issue comment #41400 (comment) created by riccardobrasca
1s
1s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map bot fix style #251006: Issue comment #41400 (comment) created by riccardobrasca
10s
10s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map Label PR based on Comment #198471: Issue comment #41400 (comment) created by riccardobrasca
5s
5s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map olean report #12429: Issue comment #41400 (comment) created by riccardobrasca
11s
11s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map Bors merge/delegate follow-up #275773: Issue comment #41400 (comment) created by riccardobrasca
9s
9s
feat(RepresentationTheory/Intertwining): a central element of the MonoidAlgebra acts on a representation as self-intertwining map Maintainer merge #299706: Issue comment #41400 (comment) created by riccardobrasca
8s
8s
olean report (workflow_run) olean report (workflow_run) #12428: completed by mathlib-bors Bot
Skipped
Skipped
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #205520: completed by mathlib-bors Bot
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #192054: completed by mathlib-bors Bot
1s
1s
[Merged by Bors] - feat: extended canonical decomposition .github/workflows/zulip_emoji_labelling.yaml #66584: Pull request #40191 unlabeled by mathlib-bors Bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #91410: requested by mathlib-bors Bot
30s
30s
[Merged by Bors] - feat: extended canonical decomposition Check PR titles #31795: Pull request #40191 edited by mathlib-bors Bot
1s
1s
[Merged by Bors] - feat: extended canonical decomposition Label PR based on Comment #198470: Issue comment #40191 (comment) created by mathlib-bors Bot
5s
5s
[Merged by Bors] - feat: extended canonical decomposition Maintainer merge #299705: Issue comment #40191 (comment) created by mathlib-bors Bot
7s
7s