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
Dependent Issues Dependent Issues #109425: Scheduled
In progress master
master
In progress
Zulip emoji CI status Zulip emoji CI status #42345: completed by Thmoas-Guan
14s
14s
Export workflow telemetry Export workflow telemetry #27879: completed by Thmoas-Guan
8s
8s
Export workflow telemetry Export workflow telemetry #27878: completed by Thmoas-Guan
8s
8s
Zulip emoji CI status Zulip emoji CI status #42344: completed by Thmoas-Guan
18s
18s
Zulip emoji CI status Zulip emoji CI status #42343: completed by 8e7
15s
15s
Export workflow telemetry Export workflow telemetry #27877: completed by 8e7
10s
10s
Export workflow telemetry Export workflow telemetry #27876: completed by Raph-DG
11s
11s
Zulip emoji CI status Zulip emoji CI status #42342: completed by Raph-DG
22s
22s
splice-bot (workflow_run) splice-bot (workflow_run) #13820: completed by 8e7
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #147993: completed by 8e7
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #157798: completed by 8e7
2s
2s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #157797: completed by 8e7
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #147992: completed by 8e7
1s
1s
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs splice-bot #13909: Pull request #38027 created by 8e7
1s
1s
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs Label PR based on Comment #154202: Pull request #38027 created by 8e7
5s
5s
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs Maintainer merge #251768: Pull request #38027 created by 8e7
Skipped
Skipped
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs Add "ready-to-merge" and "delegated" label #231504: Pull request #38027 created by 8e7
Skipped
Skipped
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs bot fix style #203066: Pull request #38027 created by 8e7
9s
9s
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs Add "ready-to-merge" and "delegated" label #231503: Pull request #38027 submitted by 8e7
1s
1s
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs Maintainer merge #251767: Pull request #38027 submitted by 8e7
1s
1s
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs bot fix style #203065: Pull request #38027 submitted by 8e7
9s
9s
feat(Combinatorics/SimpleGraph/Acyclic): define star graphs Label PR based on Comment #154201: Pull request #38027 submitted by 8e7
7s
7s
Commit Verification (workflow_run) Commit Verification (workflow_run) #6471: completed by Thmoas-Guan
12s
12s
Zulip emoji CI status Zulip emoji CI status #42341: requested by Thmoas-Guan
17s
17s