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
docker docker #456: Scheduled
In progress master
master
In progress
Zulip emoji CI status Zulip emoji CI status #85835: completed by pechersky
18s
18s
Export workflow telemetry Export workflow telemetry #51215: completed by pechersky
9s
9s
Declarations diff (post-build) Declarations diff (post-build) #6796: completed by pechersky
11s
11s
Export workflow telemetry Export workflow telemetry #51214: completed by wwylele
8s
8s
Zulip emoji CI status Zulip emoji CI status #85834: completed by wwylele
20s
20s
Declarations diff (post-build) Declarations diff (post-build) #6795: completed by wwylele
45s
45s
Merge conflicts Merge conflicts #108441: Scheduled
33s master
master
33s
Dependent Issues Dependent Issues #111703: Scheduled
15m 10s master
master
15m 10s
Commit Verification (workflow_run) Commit Verification (workflow_run) #25922: completed by wwylele
6s
6s
Zulip emoji CI status Zulip emoji CI status #85833: requested by wwylele
13s
13s
feat(Analysis): field of meromorphic functions lint and suggest #187763: Pull request #39826 synchronize by wwylele
1s wwylele:meromorphic-field
wwylele:meromorphic-field
1s
feat(Analysis): field of meromorphic functions Run pre-commit and in-place update PR on push #77374: Pull request #39826 synchronize by wwylele
26s wwylele:meromorphic-field
wwylele:meromorphic-field
26s
feat(Analysis): field of meromorphic functions Commit Verification #46832: Pull request #39826 synchronize by wwylele
51s wwylele:meromorphic-field
wwylele:meromorphic-field
51s
feat(Analysis): field of meromorphic functions continuous integration (mathlib forks) #308405: Pull request #39826 synchronize by wwylele
10m 2s
10m 2s
feat(Analysis): field of meromorphic functions Post PR summary comment #164512: Pull request #39826 synchronize by wwylele
1m 25s
1m 25s
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
24m 5s
24m 5s
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