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
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #154510: completed by faenuccio
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #16292: completed by faenuccio
Skipped
Skipped
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #164898: completed by faenuccio
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #164897: completed by faenuccio
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #154509: completed by faenuccio
1s
1s
chore: golf using grind splice-bot #16381: Pull request #37346 created by faenuccio
1s
1s
chore: golf using grind Maintainer merge #258868: Pull request #37346 submitted by faenuccio
1s
1s
chore: golf using grind Label PR based on Comment #160719: Pull request #37346 submitted by faenuccio
5s
5s
chore: golf using grind Maintainer merge #258867: Pull request #37346 created by faenuccio
1s
1s
chore: golf using grind Add "ready-to-merge" and "delegated" label #238021: Pull request #37346 created by faenuccio
Skipped
Skipped
chore: golf using grind Label PR based on Comment #160718: Pull request #37346 created by faenuccio
6s
6s
chore: golf using grind bot fix style #210166: Pull request #37346 submitted by faenuccio
8s
8s
chore: golf using grind Add "ready-to-merge" and "delegated" label #238020: Pull request #37346 submitted by faenuccio
Skipped
Skipped
chore: golf using grind bot fix style #210165: Pull request #37346 created by faenuccio
8s
8s
Update Mathlib Dependencies Update Mathlib Dependencies #16261: Scheduled
1m 6s master
master
1m 6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #9554: completed by Zetetic-Dhruv
9s
9s
Zulip emoji CI status Zulip emoji CI status #49204: completed by hommmmm
14s
14s
Export workflow telemetry Export workflow telemetry #31536: completed by hommmmm
7s
7s
Zulip emoji CI status Zulip emoji CI status #49203: requested by Zetetic-Dhruv
21s
21s
feat(Combinatorics/SetFamily): Assouad's dual VC bound Commit Verification #30454: Pull request #38319 synchronize by Zetetic-Dhruv
39s Zetetic-Dhruv:dhruvgupta-zetesis/assouad-dual-vc
Zetetic-Dhruv:dhruvgupta-zetesis/assouad-dual-vc
39s
feat(Combinatorics/SetFamily): Assouad's dual VC bound lint and suggest #171384: Pull request #38319 synchronize by Zetetic-Dhruv
2m 16s Zetetic-Dhruv:dhruvgupta-zetesis/assouad-dual-vc
Zetetic-Dhruv:dhruvgupta-zetesis/assouad-dual-vc
2m 16s
feat(Combinatorics/SetFamily): Assouad's dual VC bound Run pre-commit and in-place update PR on push #60770: Pull request #38319 synchronize by Zetetic-Dhruv
23s Zetetic-Dhruv:dhruvgupta-zetesis/assouad-dual-vc
Zetetic-Dhruv:dhruvgupta-zetesis/assouad-dual-vc
23s
feat(Combinatorics/SetFamily): Assouad's dual VC bound continuous integration (mathlib forks) #291559: Pull request #38319 synchronize by Zetetic-Dhruv
In progress
In progress
feat(Combinatorics/SetFamily): Assouad's dual VC bound Post PR summary comment #147549: Pull request #38319 synchronize by Zetetic-Dhruv
1m 4s
1m 4s
Daily master tag Daily master tag #53: Scheduled
19s master
master
19s