Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,559,277 workflow runs
1,559,277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99532: completed by LLaurance
11s
11s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99531: completed by LLaurance
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99530: completed by LLaurance
14s
14s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99529: completed by LLaurance
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99528: completed by LLaurance
10s
10s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99527: completed by LLaurance
8s
8s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99526: completed by LLaurance
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99525: completed by LLaurance
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99524: completed by LLaurance
9s
9s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #99523: completed by LLaurance
9s
9s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105904: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105903: completed by LLaurance
Skipped
Skipped
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105902: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105901: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105900: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105899: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105898: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105897: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105896: completed by LLaurance
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #105895: completed by LLaurance
1s
1s
feat(RingTheory/Finiteness/Basic): add lemmas for restricting scalars bot fix style #150871: Pull request #33980 created by LLaurance
8s
8s
feat(RingTheory/Finiteness/Basic): add lemmas for restricting scalars Add "ready-to-merge" and "delegated" label #182748: Pull request #33980 created by LLaurance
6s
6s
feat(RingTheory/Finiteness/Basic): add lemmas for restricting scalars Maintainer merge #199561: Pull request #33980 created by LLaurance
1s
1s
feat(RingTheory/Finiteness/Basic): add lemmas for restricting scalars Maintainer merge #199560: Pull request #33980 created by LLaurance
1s
1s
feat(RingTheory/Finiteness/Basic): add lemmas for restricting scalars Add "ready-to-merge" and "delegated" label #182747: Pull request #33980 created by LLaurance
9s
9s