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
Zulip emoji CI status Zulip emoji CI status #85863: completed by felixpernegger
In progress
In progress
Declarations diff (post-build) Declarations diff (post-build) #6809: completed by felixpernegger
In progress
In progress
Export workflow telemetry Export workflow telemetry #51229: completed by felixpernegger
6s
6s
chore: remove redundant backward.proofsInPublic exceptions Check PR titles #30493: Pull request #41096 edited by felixpernegger
1s
1s
Update Mathlib Dependencies Update Mathlib Dependencies #17453: Scheduled
1m 6s master
master
1m 6s
Commit Verification (workflow_run) Commit Verification (workflow_run) #25936: completed by felixpernegger
6s
6s
Zulip emoji CI status Zulip emoji CI status #85862: requested by felixpernegger
20s
20s
chore: remove redundant backward.proofsInPublic exceptions lint and suggest #187777: Pull request #41096 opened by felixpernegger
2m 9s felixpernegger:proofinpublic
felixpernegger:proofinpublic
2m 9s
chore: remove redundant backward.proofsInPublic exceptions Run pre-commit and in-place update PR on push #77388: Pull request #41096 opened by felixpernegger
26s felixpernegger:proofinpublic
felixpernegger:proofinpublic
26s
chore: remove redundant backward.proofsInPublic exceptions Commit Verification #46846: Pull request #41096 opened by felixpernegger
49s felixpernegger:proofinpublic
felixpernegger:proofinpublic
49s
chore: remove redundant backward.proofsInPublic exceptions continuous integration (mathlib forks) #308419: Pull request #41096 opened by felixpernegger
In progress
In progress
chore: remove redundant backward.proofsInPublic exceptions Autolabel PRs #27285: Pull request #41096 opened by felixpernegger
1m 26s
1m 26s
chore: remove redundant backward.proofsInPublic exceptions Label New Contributors #117917: Pull request #41096 opened by felixpernegger
6s
6s
chore: remove redundant backward.proofsInPublic exceptions Post PR summary comment #164526: Pull request #41096 opened by felixpernegger
1m 16s
1m 16s
chore: remove redundant backward.proofsInPublic exceptions Check PR titles #30492: Pull request #41096 opened by felixpernegger
1m 37s
1m 37s
Zulip emoji CI status Zulip emoji CI status #85861: requested by teorth
21s
21s
feat(NumberTheory): mertens first and second theorems continuous integration (mathlib forks) #308418: Pull request #40656 synchronize by teorth
In progress
In progress
feat(NumberTheory): mertens first and second theorems Post PR summary comment #164525: Pull request #40656 synchronize by teorth
1m 19s
1m 19s
Commit Verification (workflow_run) Commit Verification (workflow_run) #25935: completed by teorth
7s
7s
feat(Combinatorics/SimpleGraph/Paths): some lemmas about inducing walks .github/workflows/zulip_emoji_labelling.yaml #64659: Pull request #40967 labeled by vlad902
1s
1s
feat(NumberTheory): mertens first and second theorems Commit Verification #46845: Pull request #40656 synchronize by teorth
43s teorth:mertens-first-theorem
teorth:mertens-first-theorem
43s
feat(NumberTheory): mertens first and second theorems lint and suggest #187776: Pull request #40656 synchronize by teorth
2m 14s teorth:mertens-first-theorem
teorth:mertens-first-theorem
2m 14s
feat(NumberTheory): mertens first and second theorems Run pre-commit and in-place update PR on push #77387: Pull request #40656 synchronize by teorth
29s teorth:mertens-first-theorem
teorth:mertens-first-theorem
29s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #200251: completed by felixpernegger
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #187111: completed by felixpernegger
1s
1s