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
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162084: completed by BryceT233
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field Maintainer merge #256054: Pull request #37940 edited by BryceT233
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field bot fix style #207352: Pull request #37940 edited by BryceT233
10s
10s
splice-bot (workflow_run) splice-bot (workflow_run) #15309: completed by BryceT233
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162083: completed by BryceT233
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162082: completed by BryceT233
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151910: completed by BryceT233
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151909: completed by BryceT233
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field splice-bot #15398: Pull request #37940 created by BryceT233
Skipped
Skipped
feat(Algebra/Category): the category of local algebras with a fixed residue field Label PR based on Comment #158119: Pull request #37940 submitted by BryceT233
5s
5s
feat(Algebra/Category): the category of local algebras with a fixed residue field Add "ready-to-merge" and "delegated" label #235421: Pull request #37940 created by BryceT233
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field Maintainer merge #256053: Pull request #37940 created by BryceT233
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field Label PR based on Comment #158118: Pull request #37940 created by BryceT233
5s
5s
feat(Algebra/Category): the category of local algebras with a fixed residue field Maintainer merge #256052: Pull request #37940 submitted by BryceT233
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field bot fix style #207351: Pull request #37940 created by BryceT233
12s
12s
feat(Algebra/Category): the category of local algebras with a fixed residue field Add "ready-to-merge" and "delegated" label #235420: Pull request #37940 submitted by BryceT233
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field bot fix style #207350: Pull request #37940 submitted by BryceT233
13s
13s
splice-bot (workflow_run) splice-bot (workflow_run) #15308: completed by Deicyde
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151908: completed by Deicyde
Skipped
Skipped
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162081: completed by Deicyde
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #162080: completed by Deicyde
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151907: completed by Deicyde
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field splice-bot #15397: Pull request #37940 created by Deicyde
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field bot fix style #207349: Pull request #37940 created by Deicyde
13s
13s
feat(Algebra/Category): the category of local algebras with a fixed residue field Label PR based on Comment #158117: Pull request #37940 created by Deicyde
5s
5s