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(CategoryTheory): ContAction FintypeCat G is a Galois category Commit Verification #57623: Pull request #42397 synchronize by joelriou
52s joelriou:galois-contaction
joelriou:galois-contaction
52s
feat(CategoryTheory): ContAction FintypeCat G is a Galois category Run pre-commit and in-place update PR on push #88287: Pull request #42397 synchronize by joelriou
29s joelriou:galois-contaction
joelriou:galois-contaction
29s
feat(CategoryTheory): ContAction FintypeCat G is a Galois category lint and suggest #198554: Pull request #42397 synchronize by joelriou
In progress joelriou:galois-contaction
joelriou:galois-contaction
In progress
Zulip emoji reconcile Zulip emoji reconcile #6532: requested by joelriou
10s
10s
feat(CategoryTheory): ContAction FintypeCat G is a Galois category continuous integration (mathlib forks) #319351: Pull request #42397 synchronize by joelriou
In progress
In progress
feat(CategoryTheory): ContAction FintypeCat G is a Galois category Post PR summary comment #175491: Pull request #42397 synchronize by joelriou
In progress
In progress
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #223557: completed by mathlib-merge-conflicts Bot
1s
1s
olean report (workflow_run) olean report (workflow_run) #17957: completed by mathlib-merge-conflicts Bot
2s
2s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #208636: completed by mathlib-merge-conflicts Bot
11s
11s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #223556: completed by mathlib-merge-conflicts Bot
1s
1s
olean report (workflow_run) olean report (workflow_run) #17956: completed by mathlib-merge-conflicts Bot
1s
1s
Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #208635: completed by mathlib-merge-conflicts Bot
1s
1s
feat(Algebra/Category): the category of local extensions over a fixed field Maintainer merge #317798: Issue comment #37940 (comment) created by mathlib-merge-conflicts Bot
11s
11s
feat(Algebra/Category): the category of local extensions over a fixed field PR check downstream #11568: Issue comment #37940 (comment) created by mathlib-merge-conflicts Bot
1s
1s
feat(Algebra/Category): the category of local extensions over a fixed field Bors merge/delegate follow-up #292408: Issue comment #37940 (comment) created by mathlib-merge-conflicts Bot
1s
1s
feat(Algebra/Category): the category of local extensions over a fixed field olean report #17958: Issue comment #37940 (comment) created by mathlib-merge-conflicts Bot
2s
2s
feat(Algebra/Category): the category of local extensions over a fixed field Label PR based on Comment #215106: Issue comment #37940 (comment) created by mathlib-merge-conflicts Bot
8s
8s
feat(Algebra/Category): the category of local extensions over a fixed field bot fix style #269099: Issue comment #37940 (comment) created by mathlib-merge-conflicts Bot
8s
8s
feat(Algebra/Category): the category of local extensions over a fixed field Zulip emoji reconcile #6531: Pull request #37940 labeled by mathlib-merge-conflicts Bot
29s
29s
feat(RingTheory/PowerSeries/Log): log and exp as inverses bot fix style #269098: Issue comment #37848 (comment) created by mathlib-merge-conflicts Bot
10s
10s
feat(RingTheory/PowerSeries/Log): log and exp as inverses Maintainer merge #317797: Issue comment #37848 (comment) created by mathlib-merge-conflicts Bot
1s
1s
feat(RingTheory/PowerSeries/Log): log and exp as inverses Label PR based on Comment #215105: Issue comment #37848 (comment) created by mathlib-merge-conflicts Bot
6s
6s
feat(RingTheory/PowerSeries/Log): log and exp as inverses PR check downstream #11567: Issue comment #37848 (comment) created by mathlib-merge-conflicts Bot
8s
8s
feat(RingTheory/PowerSeries/Log): log and exp as inverses olean report #17957: Issue comment #37848 (comment) created by mathlib-merge-conflicts Bot
1s
1s
feat(RingTheory/PowerSeries/Log): log and exp as inverses Bors merge/delegate follow-up #292407: Issue comment #37848 (comment) created by mathlib-merge-conflicts Bot
1s
1s