Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374,195 workflow run results
374,195 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62827: completed by eric-wieser
July 4, 2024 23:52 2s
July 4, 2024 23:52 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2698: completed by eric-wieser
July 4, 2024 23:52 1s
July 4, 2024 23:52 1s
[Merged by Bors] - feat: a replacement for Nat.leRecOn' that works with induction lint and suggest #41388: Pull request #14431 synchronize by eric-wieser
July 4, 2024 23:50 2s eric-wieser/Nat.leRecOn'
eric-wieser/Nat.leRecOn'
July 4, 2024 23:50 2s
[Merged by Bors] - feat: a replacement for Nat.leRecOn' that works with induction Label New Contributors #19118: Pull request #14431 synchronize by eric-wieser
July 4, 2024 23:50 13s eric-wieser/Nat.leRecOn'
eric-wieser/Nat.leRecOn'
July 4, 2024 23:50 13s
[Merged by Bors] - feat: a replacement for Nat.leRecOn' that works with induction Post PR summary comment #5002: Pull request #14431 synchronize by eric-wieser
July 4, 2024 23:50 37s eric-wieser/Nat.leRecOn'
eric-wieser/Nat.leRecOn'
July 4, 2024 23:50 37s
tidy continuous integration #104531: Commit faf0332 pushed by eric-wieser
July 4, 2024 23:49 44m 1s eric-wieser/Nat.leRecOn'
eric-wieser/Nat.leRecOn'
July 4, 2024 23:49 44m 1s
tidy continuous integration (mathlib forks) #110780: Commit faf0332 pushed by eric-wieser
July 4, 2024 23:49 9s eric-wieser/Nat.leRecOn'
eric-wieser/Nat.leRecOn'
July 4, 2024 23:49 9s
Merge conflicts Merge conflicts #53268: Scheduled
July 4, 2024 23:48 12s master
master
July 4, 2024 23:48 12s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2697: completed by haitian-yuki
July 4, 2024 23:46 1s
July 4, 2024 23:46 1s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62826: completed by haitian-yuki
July 4, 2024 23:46 2s
July 4, 2024 23:46 2s
Dependent Issues Dependent Issues #54170: Scheduled
July 4, 2024 23:46 2m 32s master
master
July 4, 2024 23:46 2m 32s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2696: completed by kim-em
July 4, 2024 23:42 2s
July 4, 2024 23:42 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62825: completed by kim-em
July 4, 2024 23:42 2s
July 4, 2024 23:42 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2695: completed by kim-em
July 4, 2024 23:41 2s
July 4, 2024 23:41 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62824: completed by kim-em
July 4, 2024 23:41 3s
July 4, 2024 23:41 3s
[Merged by Bors] - feat(Data/Multiset/Order): add Dershowitz-Manna Ordering and Theorem Post PR summary comment #5001: Pull request #14411 synchronize by haitian-yuki
July 4, 2024 23:37 39s dm_ordering
dm_ordering
July 4, 2024 23:37 39s
[Merged by Bors] - feat(Data/Multiset/Order): add Dershowitz-Manna Ordering and Theorem Label New Contributors #19117: Pull request #14411 synchronize by haitian-yuki
July 4, 2024 23:37 10s dm_ordering
dm_ordering
July 4, 2024 23:37 10s
[Merged by Bors] - feat(Data/Multiset/Order): add Dershowitz-Manna Ordering and Theorem lint and suggest #41387: Pull request #14411 synchronize by haitian-yuki
July 4, 2024 23:37 1m 21s dm_ordering
dm_ordering
July 4, 2024 23:37 1m 21s
remove few trivial lemmas continuous integration #104530: Commit 31dbcd7 pushed by haitian-yuki
July 4, 2024 23:37 9m 43s dm_ordering
dm_ordering
July 4, 2024 23:37 9m 43s
remove few trivial lemmas continuous integration (mathlib forks) #110779: Commit 31dbcd7 pushed by haitian-yuki
July 4, 2024 23:37 14s dm_ordering
dm_ordering
July 4, 2024 23:37 14s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2694: completed by kim-em
July 4, 2024 23:36 2s
July 4, 2024 23:36 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62823: completed by kim-em
July 4, 2024 23:36 2s
July 4, 2024 23:36 2s
[Merged by Bors] - feat(ENNReal/Inv): add lemmas about a * a⁻¹ Label New Contributors #19116: Pull request #14423 synchronize by urkud
July 4, 2024 23:34 19s YK-bergelson-ennreal
YK-bergelson-ennreal
July 4, 2024 23:34 19s
[Merged by Bors] - feat(ENNReal/Inv): add lemmas about a * a⁻¹ Post PR summary comment #5000: Pull request #14423 synchronize by urkud
July 4, 2024 23:34 44s YK-bergelson-ennreal
YK-bergelson-ennreal
July 4, 2024 23:34 44s
[Merged by Bors] - feat(ENNReal/Inv): add lemmas about a * a⁻¹ lint and suggest #41386: Pull request #14423 synchronize by urkud
July 4, 2024 23:34 1m 6s YK-bergelson-ennreal
YK-bergelson-ennreal
July 4, 2024 23:34 1m 6s