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
Late importers report Late importers report #164: Scheduled
36s master
master
36s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #155021: completed by Komyyy
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #165492: completed by Komyyy
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #165491: completed by Komyyy
Skipped
Skipped
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #155020: completed by Komyyy
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #16466: completed by Komyyy
1s
1s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders splice-bot #16555: Pull request #37354 created by Komyyy
1s
1s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders bot fix style #210760: Pull request #37354 created by Komyyy
12s
12s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders Maintainer merge #259462: Pull request #37354 submitted by Komyyy
1s
1s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders Add "ready-to-merge" and "delegated" label #238532: Pull request #37354 submitted by Komyyy
1s
1s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders bot fix style #210759: Pull request #37354 submitted by Komyyy
8s
8s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders Label PR based on Comment #161230: Pull request #37354 created by Komyyy
5s
5s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders Add "ready-to-merge" and "delegated" label #238531: Pull request #37354 created by Komyyy
1s
1s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders Label PR based on Comment #161229: Pull request #37354 submitted by Komyyy
5s
5s
feat(Order/Defs/PartialOrder): (a < b ↔ b < a) ↔ (a ≤ b ↔ b ≤ a) in Preorders Maintainer merge #259461: Pull request #37354 created by Komyyy
1s
1s
Export workflow telemetry Export workflow telemetry #31966: completed by SnirBroshi
6s
6s
Zulip emoji CI status Zulip emoji CI status #50005: completed by SnirBroshi
21s
21s
Weekly Long File Report Weekly Long File Report #49: Scheduled
19s master
master
19s
Export workflow telemetry Export workflow telemetry #31965: completed by dennj
7s
7s
Zulip emoji CI status Zulip emoji CI status #50004: completed by dennj
19s
19s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #165490: completed by Komyyy
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #155019: completed by Komyyy
1s
1s
splice-bot (workflow_run) splice-bot (workflow_run) #16465: completed by Komyyy
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #155018: completed by Komyyy
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #165489: completed by Komyyy
1s
1s