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
Zulip emoji CI status Zulip emoji CI status #45691: completed by mbkybky
17s
17s
Export workflow telemetry Export workflow telemetry #29652: completed by mbkybky
6s
6s
Export workflow telemetry Export workflow telemetry #29651: completed by ertwro
10s
10s
Zulip emoji CI status Zulip emoji CI status #45690: completed by ertwro
15s
15s
Commit Verification (workflow_run) Commit Verification (workflow_run) #7993: completed by ertwro
5s
5s
Zulip emoji CI status Zulip emoji CI status #45689: requested by ertwro
15s
15s
feat(Combinatorics/SimpleGraph/Hasse): Hasse diagram is triangle-free lint and suggest #169820: Pull request #37076 synchronize by ertwro
2m 6s ertwro:hasse-cliquefree-three
ertwro:hasse-cliquefree-three
2m 6s
feat(Combinatorics/SimpleGraph/Hasse): Hasse diagram is triangle-free Commit Verification #28890: Pull request #37076 synchronize by ertwro
38s ertwro:hasse-cliquefree-three
ertwro:hasse-cliquefree-three
38s
feat(Combinatorics/SimpleGraph/Hasse): Hasse diagram is triangle-free continuous integration (mathlib forks) #289953: Pull request #37076 synchronize by ertwro
12m 18s
12m 18s
feat(Combinatorics/SimpleGraph/Hasse): Hasse diagram is triangle-free Run pre-commit and in-place update PR on push #59177: Pull request #37076 synchronize by ertwro
23s ertwro:hasse-cliquefree-three
ertwro:hasse-cliquefree-three
23s
feat(Combinatorics/SimpleGraph/Hasse): Hasse diagram is triangle-free Post PR summary comment #145940: Pull request #37076 synchronize by ertwro
1m 0s
1m 0s
Zulip emoji CI status Zulip emoji CI status #45688: completed by SnirBroshi
14s
14s
Export workflow telemetry Export workflow telemetry #29650: completed by SnirBroshi
7s
7s
feat(SetTheory/Ordinal/Commute): the smallest nonzero ordinal that add-commutes with a given ordinal Check PR titles #20938: Pull request #36681 edited by SnirBroshi
1m 11s
1m 11s
Export workflow telemetry Export workflow telemetry #29649: completed by mathlib-bors bot
7s
7s
Zulip emoji CI status Zulip emoji CI status #45687: completed by mathlib-bors bot
31s
31s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #170535: completed by mathlib-bors bot
1s
1s
Commit Verification (workflow_run) Commit Verification (workflow_run) #7992: completed by SnirBroshi
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #151117: completed by SnirBroshi
Skipped
Skipped
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #161208: completed by SnirBroshi
1s
1s
Merge conflicts Merge conflicts #106528: Scheduled
10m 23s master
master
10m 23s
feat(Combinatorics/SimpleGraph/Degree): degrees for infinite graphs Maintainer merge #255178: Issue comment #33501 (comment) created by SnirBroshi
1s
1s
feat(Combinatorics/SimpleGraph/Degree): degrees for infinite graphs Add "ready-to-merge" and "delegated" label #234628: Issue comment #33501 (comment) created by SnirBroshi
1s
1s
feat(Combinatorics/SimpleGraph/Degree): degrees for infinite graphs bot fix style #206476: Issue comment #33501 (comment) created by SnirBroshi
13s
13s
feat(Combinatorics/SimpleGraph/Degree): degrees for infinite graphs Label PR based on Comment #157326: Issue comment #33501 (comment) created by SnirBroshi
6s
6s