Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
887,764 workflow run results
887,764 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #62944: Scheduled
October 20, 2024 23:05 15s master
master
October 20, 2024 23:05 15s
Update Mathlib Dependencies Update Mathlib Dependencies #3116: Scheduled
October 20, 2024 23:05 48s master
master
October 20, 2024 23:05 48s
Dependent Issues Dependent Issues #64029: Scheduled
October 20, 2024 23:02 45s master
master
October 20, 2024 23:02 45s
refactor: split SuccOrder WithTop instance into NoMaxOrder and OrderTop lint and suggest #61478: Pull request #17982 synchronize by alreadydone
October 20, 2024 22:51 1m 23s SuccOrder.WithTop
SuccOrder.WithTop
October 20, 2024 22:51 1m 23s
refactor: split SuccOrder WithTop instance into NoMaxOrder and OrderTop Label New Contributors #39234: Pull request #17982 synchronize by alreadydone
October 20, 2024 22:51 13s SuccOrder.WithTop
SuccOrder.WithTop
October 20, 2024 22:51 13s
refactor: split SuccOrder WithTop instance into NoMaxOrder and OrderTop Post PR summary comment #25089: Pull request #17982 synchronize by alreadydone
October 20, 2024 22:51 43s SuccOrder.WithTop
SuccOrder.WithTop
October 20, 2024 22:51 43s
remove redundant simp lemmas continuous integration #133719: Commit 62473ea pushed by alreadydone
October 20, 2024 22:51 42m 27s SuccOrder.WithTop
SuccOrder.WithTop
October 20, 2024 22:51 42m 27s
remove redundant simp lemmas continuous integration (mathlib forks) #142238: Commit 62473ea pushed by alreadydone
October 20, 2024 22:51 12s SuccOrder.WithTop
SuccOrder.WithTop
October 20, 2024 22:51 12s
Merge conflicts Merge conflicts #62943: Scheduled
October 20, 2024 22:48 6m 25s master
master
October 20, 2024 22:48 6m 25s
Dependent Issues Dependent Issues #64028: Scheduled
October 20, 2024 22:46 2m 59s master
master
October 20, 2024 22:46 2m 59s
Merge conflicts Merge conflicts #62942: Scheduled
October 20, 2024 22:35 10m 19s master
master
October 20, 2024 22:35 10m 19s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92251: completed by YaelDillies
October 20, 2024 22:34 2s
October 20, 2024 22:34 2s
Maintainer merge (comment) Maintainer merge (comment) #66069: edited by mathlib4-dependent-issues-bot
October 20, 2024 22:34 1s
October 20, 2024 22:34 1s
bot fix style (comment) bot fix style (comment) #7707: edited by mathlib4-dependent-issues-bot
October 20, 2024 22:34 1s
October 20, 2024 22:34 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92250: completed by mathlib-bors bot
October 20, 2024 22:33 2s
October 20, 2024 22:33 2s
Dependent Issues Dependent Issues #64027: Scheduled
October 20, 2024 22:33 3m 1s master
master
October 20, 2024 22:33 3m 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92249: completed by kim-em
October 20, 2024 22:32 9s
October 20, 2024 22:32 9s
[Merged by Bors] - chore: move mul_ite, add dite version, multiplicativise ite_add_ite Maintainer merge (comment) #66068: Issue comment #17963 (comment) created by mathlib-bors bot
October 20, 2024 22:26 2s
October 20, 2024 22:26 2s
[Merged by Bors] - chore: move mul_ite, add dite version, multiplicativise ite_add_ite bot fix style (comment) #7706: Issue comment #17963 (comment) created by mathlib-bors bot
October 20, 2024 22:26 2s
October 20, 2024 22:26 2s
[Merged by Bors] - chore: move mul_ite, add dite version, multiplicativise ite_add_ite Add "ready-to-merge" and "delegated" label from comment #60712: Issue comment #17963 (comment) created by mathlib-bors bot
October 20, 2024 22:26 2s
October 20, 2024 22:26 2s
[Merged by Bors] - chore: move mul_ite, add dite version, multiplicativise ite_add_ite Label PR based on Comment #41402: Issue comment #17963 (comment) created by mathlib-bors bot
October 20, 2024 22:26 2s
October 20, 2024 22:26 2s
chore: move mul_ite, add dite version, multiplicativise `ite_add_… continuous integration (mathlib forks) #142237: Commit 69bbcb4 pushed by mathlib-bors bot
October 20, 2024 22:26 13s master
master
October 20, 2024 22:26 13s
chore: move mul_ite, add dite version, multiplicativise `ite_add_… continuous integration #133718: Commit 69bbcb4 pushed by mathlib-bors bot
October 20, 2024 22:26 7m 16s master
master
October 20, 2024 22:26 7m 16s
Merge conflicts Merge conflicts #62941: Scheduled
October 20, 2024 22:23 10m 20s master
master
October 20, 2024 22:23 10m 20s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92248: completed by kim-em
October 20, 2024 22:23 2s
October 20, 2024 22:23 2s