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
olean report (workflow_run) olean report (workflow_run) #9530: completed by mathlib-bors Bot
7s
7s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #183018: completed by mathlib-bors Bot
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #195838: completed by mathlib-bors Bot
1s
1s
Zulip emoji CI status Zulip emoji CI status #81101: requested by mathlib-bors Bot
31s
31s
[Merged by Bors] - ci: make lake cache shadow shells uniform Check PR titles #29421: Pull request #40744 edited by mathlib-bors Bot
1s
1s
[Merged by Bors] - ci: make lake cache shadow shells uniform Add "closed-pr" emoji in Zulip #14480: Pull request #40744 closed by mathlib-bors Bot
5s
5s
[Merged by Bors] - ci: make lake cache shadow shells uniform PR check downstream #3140: Issue comment #40744 (comment) created by mathlib-bors Bot
1s
1s
[Merged by Bors] - ci: make lake cache shadow shells uniform Maintainer merge #289849: Issue comment #40744 (comment) created by mathlib-bors Bot
1s
1s
[Merged by Bors] - ci: make lake cache shadow shells uniform Add "ready-to-merge" and "delegated" label #266571: Issue comment #40744 (comment) created by mathlib-bors Bot
1s
1s
[Merged by Bors] - ci: make lake cache shadow shells uniform olean report #9530: Issue comment #40744 (comment) created by mathlib-bors Bot
10s
10s
[Merged by Bors] - ci: make lake cache shadow shells uniform Label PR based on Comment #189269: Issue comment #40744 (comment) created by mathlib-bors Bot
8s
8s
[Merged by Bors] - ci: make lake cache shadow shells uniform bot fix style #241149: Issue comment #40744 (comment) created by mathlib-bors Bot
8s
8s
ci: make lake cache shadow shells uniform (#40744) continuous integration #213071: Commit e69d3a0 pushed by mathlib-bors Bot
In progress master
master
In progress
ci: make lake cache shadow shells uniform (#40744) Zulip emoji merge update #11202: Commit e69d3a0 pushed by mathlib-bors Bot
56s master
master
56s
ci: make lake cache shadow shells uniform (#40744) publish CI tools #290: Commit e69d3a0 pushed by mathlib-bors Bot
1m 3s master
master
1m 3s
Export workflow telemetry Export workflow telemetry #48663: completed by mathlib-bors Bot
11s
11s
Declarations diff (post-build) Declarations diff (post-build) #4420: completed by FrankieNC
44s
44s
Zulip emoji CI status Zulip emoji CI status #81100: completed by FrankieNC
15s
15s
Export workflow telemetry Export workflow telemetry #48662: completed by FrankieNC
8s
8s
Update Mathlib Dependencies Update Mathlib Dependencies #17301: Scheduled
1m 43s master
master
1m 43s
Declarations diff (post-build) Declarations diff (post-build) #4419: completed by Mal-Pat
44s
44s
Export workflow telemetry Export workflow telemetry #48661: completed by Mal-Pat
7s
7s
Zulip emoji CI status Zulip emoji CI status #81099: completed by Mal-Pat
15s
15s
Bump toolchain and merge pr-testing branches Bump toolchain and merge pr-testing branches #642: Scheduled
1s master
master
1s
Commit Verification (workflow_run) Commit Verification (workflow_run) #23834: completed by lua-vr
6s
6s