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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docker
docker #456: Scheduled
In progress master
Zulip emoji CI status
Zulip emoji CI status #85835: completed by pechersky
18s
Export workflow telemetry
Export workflow telemetry #51215: completed by pechersky
9s
Declarations diff (post-build)
Declarations diff (post-build) #6796: completed by pechersky
11s
Export workflow telemetry
Export workflow telemetry #51214: completed by wwylele
8s
Zulip emoji CI status
Zulip emoji CI status #85834: completed by wwylele
20s
Declarations diff (post-build)
Declarations diff (post-build) #6795: completed by wwylele
45s
Merge conflicts
Merge conflicts #108441: Scheduled
33s master
Dependent Issues
Dependent Issues #111703: Scheduled
15m 10s master
Commit Verification (workflow_run)
Commit Verification (workflow_run) #25922: completed by wwylele
6s
Zulip emoji CI status
Zulip emoji CI status #85833: requested by wwylele
13s
feat(Analysis): field of meromorphic functions
continuous integration (mathlib forks) #308405: Pull request #39826 synchronize by wwylele
10m 2s
feat(Analysis): field of meromorphic functions
Post PR summary comment #164512: Pull request #39826 synchronize by wwylele
1m 25s
Bors merge/delegate follow-up (workflow_run)
Bors merge/delegate follow-up (workflow_run) #187105: completed by plp127
9s
splice-bot (workflow_run)
splice-bot (workflow_run) #28224: completed by plp127
1s
Zulip emoji CI status
Zulip emoji CI status #85832: requested by pechersky
20s
feat: ℕ+ powers in semigroups
continuous integration (mathlib forks) #308404: Pull request #40785 synchronize by pechersky
24m 5s
feat: ℕ+ powers in semigroups
Post PR summary comment #164511: Pull request #40785 synchronize by pechersky
45s
Maintainer merge (workflow_run)
Maintainer merge (workflow_run) #200243: completed by plp127
Skipped
Bors merge/delegate follow-up (workflow_run)
Bors merge/delegate follow-up (workflow_run) #187104: completed by plp127
1s
Maintainer merge (workflow_run)
Maintainer merge (workflow_run) #200242: completed by plp127
2s