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) #187107: completed by certik
2s
2s
olean report (workflow_run) olean report (workflow_run) #10873: completed by certik
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200245: completed by certik
1s
1s
[Merged by Bors] - feat: generalize ae_hasDerivAt_integral to Banach spaces Label PR based on Comment #193484: Issue comment #40976 (comment) created by certik
7s
7s
[Merged by Bors] - feat: generalize ae_hasDerivAt_integral to Banach spaces olean report #10872: Issue comment #40976 (comment) created by certik
1s
1s
[Merged by Bors] - feat: generalize ae_hasDerivAt_integral to Banach spaces bot fix style #245689: Issue comment #40976 (comment) created by certik
11s
11s
[Merged by Bors] - feat: generalize ae_hasDerivAt_integral to Banach spaces Maintainer merge #294389: Issue comment #40976 (comment) created by certik
1s
1s
[Merged by Bors] - feat: generalize ae_hasDerivAt_integral to Banach spaces Bors merge/delegate follow-up #270786: Issue comment #40976 (comment) created by certik
9s
9s
[Merged by Bors] - feat: generalize ae_hasDerivAt_integral to Banach spaces PR check downstream #4482: Issue comment #40976 (comment) created by certik
1s
1s
Zulip emoji CI status Zulip emoji CI status #85841: completed by wwylele
19s
19s
Declarations diff (post-build) Declarations diff (post-build) #6799: completed by wwylele
49s
49s
Export workflow telemetry Export workflow telemetry #51218: completed by wwylele
7s
7s
Dependent Issues Dependent Issues #111705: Scheduled
In progress master
master
In progress
Commit Verification (workflow_run) Commit Verification (workflow_run) #25925: completed by wwylele
11s
11s
feat(Analysis): characterizing and congr lemma for toMeromorphicNFAt Commit Verification #46835: Pull request #41092 synchronize by wwylele
48s wwylele:meromorphicnf
wwylele:meromorphicnf
48s
feat(Analysis): characterizing and congr lemma for toMeromorphicNFAt Run pre-commit and in-place update PR on push #77377: Pull request #41092 synchronize by wwylele
24s wwylele:meromorphicnf
wwylele:meromorphicnf
24s
feat(Analysis): characterizing and congr lemma for toMeromorphicNFAt lint and suggest #187766: Pull request #41092 synchronize by wwylele
2m 11s wwylele:meromorphicnf
wwylele:meromorphicnf
2m 11s
Zulip emoji CI status Zulip emoji CI status #85840: requested by wwylele
18s
18s
feat(Analysis): characterizing and congr lemma for toMeromorphicNFAt continuous integration (mathlib forks) #308408: Pull request #41092 synchronize by wwylele
8m 19s
8m 19s
feat(Analysis): characterizing and congr lemma for toMeromorphicNFAt Post PR summary comment #164515: Pull request #41092 synchronize by wwylele
1m 17s
1m 17s
Zulip emoji CI status Zulip emoji CI status #85839: completed by wwylele
14s
14s
Declarations diff (post-build) Declarations diff (post-build) #6798: completed by wwylele
46s
46s
Export workflow telemetry Export workflow telemetry #51217: completed by wwylele
9s
9s
feat(Analysis): characterizing and congr lemma for toMeromorphicNFAt splice-bot #28409: Pull request #41092 created by Copilot AI
Action required
Action required
feat(Analysis): characterizing and congr lemma for toMeromorphicNFAt Maintainer merge #294388: Pull request #41092 submitted by Copilot AI
Action required
Action required