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
feat: 2 ^ n ≤ lcmUpto n for 7 ≤ n Run pre-commit and in-place update PR on push #98778: Pull request #43373 synchronize by Parcly-Taxel
23s Parcly-Taxel:nair-chebyshev
Parcly-Taxel:nair-chebyshev
23s
feat: 2 ^ n ≤ lcmUpto n for 7 ≤ n lint and suggest #208846: Pull request #43373 synchronize by Parcly-Taxel
In progress Parcly-Taxel:nair-chebyshev
Parcly-Taxel:nair-chebyshev
In progress
feat: 2 ^ n ≤ lcmUpto n for 7 ≤ n Commit Verification #67917: Pull request #43373 synchronize by Parcly-Taxel
In progress Parcly-Taxel:nair-chebyshev
Parcly-Taxel:nair-chebyshev
In progress
Zulip emoji reconcile Zulip emoji reconcile #41361: requested by Parcly-Taxel
8s
8s
feat: 2 ^ n ≤ lcmUpto n for 7 ≤ n continuous integration (mathlib forks) #329753: Pull request #43373 synchronize by Parcly-Taxel
Queued
Queued
feat: 2 ^ n ≤ lcmUpto n for 7 ≤ n Post PR summary comment #186010: Pull request #43373 synchronize by Parcly-Taxel
In progress
In progress
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #231889: completed by felixpernegger
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #44494: completed by felixpernegger
6s
6s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #248437: completed by felixpernegger
2s
2s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #248436: completed by felixpernegger
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #231888: completed by felixpernegger
2s
2s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite splice-bot #44735: Pull request #39567 created by felixpernegger
1s
1s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite Maintainer merge #342683: Pull request #39567 created by felixpernegger
Skipped
Skipped
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite Label PR based on Comment #238368: Pull request #39567 created by felixpernegger
5s
5s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite bot fix style #293987: Pull request #39567 created by felixpernegger
7s
7s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite Bors merge/delegate follow-up #315669: Pull request #39567 created by felixpernegger
8s
8s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite Bors merge/delegate follow-up #315668: Pull request #39567 submitted by felixpernegger
1s
1s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite Maintainer merge #342682: Pull request #39567 submitted by felixpernegger
1s
1s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite Label PR based on Comment #238367: Pull request #39567 submitted by felixpernegger
5s
5s
feat(Mathlib/Data/Finite/Option): option type is finite iff type is finite bot fix style #293986: Pull request #39567 submitted by felixpernegger
10s
10s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #248435: completed by AlexBrodbelt
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #44493: completed by AlexBrodbelt
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #248434: completed by AlexBrodbelt
11s
11s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #231887: completed by AlexBrodbelt
11s
11s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #231886: completed by AlexBrodbelt
11s
11s