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
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187105: completed by plp127
9s
9s
splice-bot (workflow_run) splice-bot (workflow_run) #28224: completed by plp127
1s
1s
Zulip emoji CI status Zulip emoji CI status #85832: requested by pechersky
20s
20s
feat: ℕ+ powers in semigroups continuous integration (mathlib forks) #308404: Pull request #40785 synchronize by pechersky
In progress
In progress
feat: ℕ+ powers in semigroups Post PR summary comment #164511: Pull request #40785 synchronize by pechersky
45s
45s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200243: completed by plp127
Skipped
Skipped
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187104: completed by plp127
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200242: completed by plp127
2s
2s
chore(Logic/Relation): use ≤ to spell subrelation splice-bot #28408: Pull request #30526 created by plp127
7s
7s
chore(Logic/Relation): use ≤ to spell subrelation Label PR based on Comment #193480: Pull request #30526 created by plp127
5s
5s
chore(Logic/Relation): use ≤ to spell subrelation Bors merge/delegate follow-up #270782: Pull request #30526 created by plp127
Skipped
Skipped
chore(Logic/Relation): use ≤ to spell subrelation bot fix style #245685: Pull request #30526 created by plp127
11s
11s
chore(Logic/Relation): use ≤ to spell subrelation Maintainer merge #294385: Pull request #30526 created by plp127
1s
1s
chore(Logic/Relation): use ≤ to spell subrelation bot fix style #245684: Pull request #30526 submitted by plp127
12s
12s
chore(Logic/Relation): use ≤ to spell subrelation Bors merge/delegate follow-up #270781: Pull request #30526 submitted by plp127
11s
11s
chore(Logic/Relation): use ≤ to spell subrelation Label PR based on Comment #193479: Pull request #30526 submitted by plp127
5s
5s
chore(Logic/Relation): use ≤ to spell subrelation Maintainer merge #294384: Pull request #30526 submitted by plp127
2s
2s
splice-bot (workflow_run) splice-bot (workflow_run) #28223: completed by plp127
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200241: completed by plp127
10s
10s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200240: completed by plp127
9s
9s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187103: completed by plp127
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187102: completed by plp127
1s
1s
feat(CategoryTheory): stalks of a presheaf on an indiscrete topological space splice-bot #28407: Pull request #41085 created by plp127
11s
11s
feat(CategoryTheory): stalks of a presheaf on an indiscrete topological space Label PR based on Comment #193478: Pull request #41085 created by plp127
6s
6s
feat(CategoryTheory): stalks of a presheaf on an indiscrete topological space bot fix style #245683: Pull request #41085 created by plp127
6s
6s