Workflow runs · leanprover-community/mathlib4 · GitHub

Actions

All workflows
Workflows
- continuous integration continuous integration
- continuous integration (mathlib forks) continuous integration (mathlib forks)
- continuous integration (staging) continuous integration (staging)
- Weekly Technical Debt Counters Weekly Technical Debt Counters
- .github/workflows/build_template.yml .github/workflows/build_template.yml
- Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review
- Autolabel PRs Autolabel PRs
- Blog report Blog report
- Bors merge/delegate follow-up Bors merge/delegate follow-up
- Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run)
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2,500+ workflow runs

2,500+ workflow runs

Dependent Issues Dependent Issues #115327: Scheduled

18s master

master

18s

Merge conflicts Merge conflicts #111696: Scheduled

28s master

master

28s

Zulip emoji reconcile Zulip emoji reconcile #23323: completed by BryceT233

9s

9s

Export workflow telemetry Export workflow telemetry #69818: completed by BryceT233

8s

8s

Declarations diff (post-build) Declarations diff (post-build) #24179: completed by BryceT233

53s

53s

Dependent Issues Dependent Issues #115326: Scheduled

4m 40s master

master

4m 40s

Update Mathlib Dependencies Update Mathlib Dependencies #19056: Scheduled

1m 30s master

master

1m 30s

Declarations diff (post-build) Declarations diff (post-build) #24178: completed by naype888-cloud

50s

50s

Export workflow telemetry Export workflow telemetry #69817: completed by naype888-cloud

8s

8s

Zulip emoji reconcile Zulip emoji reconcile #23322: completed by naype888-cloud

11s

11s

Zulip emoji reconcile Zulip emoji reconcile #23321: completed by Parcly-Taxel

14s

14s

Export workflow telemetry Export workflow telemetry #69816: completed by Parcly-Taxel

6s

6s

Declarations diff (post-build) Declarations diff (post-build) #24177: completed by Parcly-Taxel

54s

54s

Merge conflicts Merge conflicts #111695: Scheduled

32s master

master

32s

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass Zulip emoji reconcile #23320: Pull request #43376 labeled by mathlib-bors Bot

3m 49s

3m 49s

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass (… continuous integration (staging) #25786: Commit 2a25cc1 pushed by mathlib-bors Bot

In progress staging

staging

In progress

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass Zulip emoji reconcile #23319: Pull request #43376 unlabeled by mathlib-triage Bot

6s

6s

Bors merge/delegate follow-up (workflow_run) Bors merge/delegate follow-up (workflow_run) #219227: completed by j-loreaux

10s

10s

Maintainer merge (workflow_run) Maintainer merge (workflow_run) #234914: completed by j-loreaux

2s

2s

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass Zulip emoji reconcile #23318: Pull request #43376 labeled by mathlib-bors Bot

18s

18s

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass Maintainer merge #329155: Pull request #43376 submitted by j-loreaux

1s

1s

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass bot fix style #280456: Pull request #43376 submitted by j-loreaux

9s

9s

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass Bors merge/delegate follow-up #302998: Pull request #43376 submitted by j-loreaux

6s

6s

chore: rename SemilinearMapClass.semilinearMap to LinearMap.ofClass Label PR based on Comment #225698: Pull request #43376 submitted by j-loreaux

5s

5s

Dependent Issues Dependent Issues #115325: Scheduled

12m 16s master

master

12m 16s