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
Declarations diff (post-build) Declarations diff (post-build) #18660: completed by BryceT233
53s
53s
Export workflow telemetry Export workflow telemetry #63884: completed by BryceT233
9s
9s
Zulip emoji reconcile Zulip emoji reconcile #6534: completed by BryceT233
11s
11s
Declarations diff (post-build) Declarations diff (post-build) #18659: completed by BryceT233
1s
1s
Zulip emoji reconcile Zulip emoji reconcile #6533: completed by BryceT233
16s
16s
Export workflow telemetry Export workflow telemetry #63883: completed by BryceT233
9s
9s
Commit Verification (workflow_run) Commit Verification (workflow_run) #36622: completed by joelriou
8s
8s
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
2m 21s joelriou:galois-contaction
joelriou:galois-contaction
2m 21s
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
1m 23s
1m 23s
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