Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,374,933 workflow runs
1,374,933 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(Algebra): finite projective dimension of regular lint and suggest #119644: Pull request #29557 synchronize by Thmoas-Guan
In progress Thmoas-Guan:finite-projective-dimension-of-regular
Thmoas-Guan:finite-projective-dimension-of-regular
In progress
feat(Algebra): finite projective dimension of regular Check workflows #3574: Pull request #29557 synchronize by Thmoas-Guan
18s Thmoas-Guan:finite-projective-dimension-of-regular
Thmoas-Guan:finite-projective-dimension-of-regular
18s
feat(Algebra): finite projective dimension of regular Run pre-commit and in-place update PR on push #5520: Pull request #29557 synchronize by Thmoas-Guan
23s Thmoas-Guan:finite-projective-dimension-of-regular
Thmoas-Guan:finite-projective-dimension-of-regular
23s
feat(Algebra): finite projective dimension of regular continuous integration (mathlib forks) #238525: Pull request #29557 synchronize by Thmoas-Guan
Queued
Queued
feat(Algebra): finite projective dimension of regular Post PR summary comment #94371: Pull request #29557 synchronize by Thmoas-Guan
In progress
In progress
feat(Algebra): maximal Cohen Macaulay module Run pre-commit and in-place update PR on push #5519: Pull request #29533 synchronize by Thmoas-Guan
24s Thmoas-Guan:maximal-CM-module
Thmoas-Guan:maximal-CM-module
24s
feat(Algebra): maximal Cohen Macaulay module Check workflows #3573: Pull request #29533 synchronize by Thmoas-Guan
20s Thmoas-Guan:maximal-CM-module
Thmoas-Guan:maximal-CM-module
20s
feat(Algebra): maximal Cohen Macaulay module lint and suggest #119643: Pull request #29533 synchronize by Thmoas-Guan
3m 16s Thmoas-Guan:maximal-CM-module
Thmoas-Guan:maximal-CM-module
3m 16s
feat(Algebra): maximal Cohen Macaulay module Post PR summary comment #94370: Pull request #29533 synchronize by Thmoas-Guan
1m 12s
1m 12s
feat(Algebra): maximal Cohen Macaulay module continuous integration (mathlib forks) #238524: Pull request #29533 synchronize by Thmoas-Guan
In progress
In progress
Merge conflicts Merge conflicts #93659: Scheduled
19s master
master
19s
feat: empty_ne_singleton .github/workflows/zulip_emoji_labelling.yaml #21785: Pull request #30493 labeled by vihdzp
1s
1s
feat: empty_ne_singleton .github/workflows/zulip_emoji_labelling.yaml #21784: Pull request #30493 unlabeled by vihdzp
1s
1s
feat: empty_ne_singleton .github/workflows/zulip_emoji_labelling.yaml #21783: Pull request #30493 labeled by vihdzp
Skipped
Skipped
feat: empty_ne_singleton .github/workflows/zulip_emoji_labelling.yaml #21782: Pull request #30493 labeled by vihdzp
1s
1s
feat: empty_ne_singleton Run pre-commit and in-place update PR on push #5518: Pull request #30493 opened by vihdzp
30s vihdzp:vi.empty_ne_singleton
vihdzp:vi.empty_ne_singleton
30s
feat: empty_ne_singleton lint and suggest #119642: Pull request #30493 opened by vihdzp
3m 16s vihdzp:vi.empty_ne_singleton
vihdzp:vi.empty_ne_singleton
3m 16s
feat: empty_ne_singleton continuous integration (mathlib forks) #238523: Pull request #30493 opened by vihdzp
In progress
In progress
feat: empty_ne_singleton Label New Contributors #107409: Pull request #30493 opened by vihdzp
18s
18s
feat: empty_ne_singleton Autolabel PRs #15872: Pull request #30493 opened by vihdzp
1m 6s
1m 6s
feat: empty_ne_singleton Post PR summary comment #94369: Pull request #30493 opened by vihdzp
1m 10s
1m 10s
Dependent Issues Dependent Issues #95633: Scheduled
12s master
master
12s
feat(RingTheory) : definition of regular ring Run pre-commit and in-place update PR on push #5517: Pull request #28684 synchronize by Thmoas-Guan
28s Thmoas-Guan:Regular-Ring
Thmoas-Guan:Regular-Ring
28s
feat(RingTheory) : definition of regular ring lint and suggest #119641: Pull request #28684 synchronize by Thmoas-Guan
3m 16s Thmoas-Guan:Regular-Ring
Thmoas-Guan:Regular-Ring
3m 16s
feat(RingTheory) : definition of regular ring continuous integration (mathlib forks) #238522: Pull request #28684 synchronize by Thmoas-Guan
In progress
In progress