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 #56085: completed by Thmoas-Guan
Queued
Queued
Export workflow telemetry Export workflow telemetry #35262: completed by Thmoas-Guan
Queued
Queued
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #172185: completed by mattrobball
2s
2s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #161184: completed by mattrobball
1s
1s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase bot fix style #217453: Pull request #36832 submitted by mattrobball
In progress
In progress
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase Add "ready-to-merge" and "delegated" label #244695: Pull request #36832 submitted by mattrobball
1s
1s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase Maintainer merge #266155: Pull request #36832 submitted by mattrobball
2s
2s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase Label PR based on Comment #167393: Pull request #36832 submitted by mattrobball
Queued
Queued
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #161183: completed by mattrobball
1s
1s
olean report (workflow_run) olean report (workflow_run) #1946: completed by mattrobball
1s
1s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #172184: completed by mattrobball
1s
1s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase olean report #1946: Issue comment #36832 (comment) created by mattrobball
1s
1s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase Add "ready-to-merge" and "delegated" label #244694: Issue comment #36832 (comment) created by mattrobball
1s
1s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase Maintainer merge #266154: Issue comment #36832 (comment) created by mattrobball
1s
1s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase Label PR based on Comment #167392: Issue comment #36832 (comment) created by mattrobball
13s
13s
chore(Data/Finset/Card): rename pred_card_le_card_erase to sub_one_card_le_card_erase bot fix style #217452: Issue comment #36832 (comment) created by mattrobball
20s
20s
chore(RingTheory): tensorRight is exact for flat modules (#38819) continuous integration (staging) #23520: Commit d59f7b3 pushed by mathlib-bors Bot
In progress staging
staging
In progress
olean report (workflow_run) olean report (workflow_run) #1945: completed by mathlib-bors Bot
1s
1s
Add "ready-to-merge" and "delegated" label (workflow_run) Add "ready-to-merge" and "delegated" label (workflow_run) #161182: completed by mathlib-bors Bot
2s
2s
Zulip emoji CI status Zulip emoji CI status #56084: requested by mathlib-bors Bot
35s
35s
Maintainer merge (workflow_run) Maintainer merge (workflow_run) #172183: completed by mathlib-bors Bot
11s
11s
[Merged by Bors] - feat(Order/Sublattice): The range of a LatticeHom is a Sublattice Check PR titles #23568: Pull request #38740 edited by mathlib-bors Bot
1s
1s
[Merged by Bors] - feat(Order/Sublattice): The range of a LatticeHom is a Sublattice Add "closed-pr" emoji in Zulip #12967: Pull request #38740 closed by mathlib-bors Bot
7s
7s
feat(Order/Sublattice): The range of a LatticeHom is a Sublattice (#3… continuous integration #212118: Commit c5edc1e pushed by mathlib-bors Bot
In progress master
master
In progress
[Merged by Bors] - feat(Order/Sublattice): The range of a LatticeHom is a Sublattice bot fix style #217451: Issue comment #38740 (comment) created by mathlib-bors Bot
10s
10s