Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
590,789 workflow run results
590,789 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Monitor Dependency Update Failures Monitor Dependency Update Failures #2427: completed by mathlib-bors bot
July 3, 2024 23:52 2s
July 3, 2024 23:52 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62556: completed by mathlib-bors bot
July 3, 2024 23:52 2s
July 3, 2024 23:52 2s
Merge conflicts Merge conflicts #53177: Scheduled
July 3, 2024 23:48 10m 33s master
master
July 3, 2024 23:48 10m 33s
Dependent Issues Dependent Issues #54077: Scheduled
July 3, 2024 23:46 2m 32s master
master
July 3, 2024 23:46 2m 32s
feat(ContinuousFunctionalCalculus): add several lemmas involving the … continuous integration #104261: Commit c52fabc pushed by mathlib-bors bot
July 3, 2024 23:43 9m 34s master
master
July 3, 2024 23:43 9m 34s
[Merged by Bors] - feat(ContinuousFunctionalCalculus): add several lemmas involving the CFC and algebraMap Label PR based on Comment #27268: Issue comment #14065 (comment) created by mathlib-bors bot
July 3, 2024 23:43 2s
July 3, 2024 23:43 2s
[Merged by Bors] - feat(ContinuousFunctionalCalculus): add several lemmas involving the CFC and algebraMap Maintainer merge (comment) #50690: Issue comment #14065 (comment) created by mathlib-bors bot
July 3, 2024 23:43 3s
July 3, 2024 23:43 3s
[Merged by Bors] - feat(ContinuousFunctionalCalculus): add several lemmas involving the CFC and algebraMap Add "ready-to-merge" and "delegated" label from comment #46578: Issue comment #14065 (comment) created by mathlib-bors bot
July 3, 2024 23:43 3s
July 3, 2024 23:43 3s
feat(ContinuousFunctionalCalculus): add several lemmas involving the … continuous integration (mathlib forks) #110496: Commit c52fabc pushed by mathlib-bors bot
July 3, 2024 23:43 12s master
master
July 3, 2024 23:43 12s
Merge conflicts Merge conflicts #53176: Scheduled
July 3, 2024 23:34 15s master
master
July 3, 2024 23:34 15s
[Merged by Bors] - chore (Algebra.Order.Ring.Defs): split file and unbundle results Label New Contributors #18904: Pull request #14393 synchronize by mattrobball
July 3, 2024 23:33 12s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 23:33 12s
[Merged by Bors] - chore (Algebra.Order.Ring.Defs): split file and unbundle results Post PR summary comment #4788: Pull request #14393 synchronize by mattrobball
July 3, 2024 23:33 37s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 23:33 37s
[Merged by Bors] - chore (Algebra.Order.Ring.Defs): split file and unbundle results lint and suggest #41174: Pull request #14393 synchronize by mattrobball
July 3, 2024 23:33 52s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 23:33 52s
lint again continuous integration #104260: Commit d1aa5c7 pushed by mattrobball
July 3, 2024 23:33 42m 9s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 23:33 42m 9s
lint again continuous integration (mathlib forks) #110495: Commit d1aa5c7 pushed by mattrobball
July 3, 2024 23:33 12s mrb/split_algebra_order_ring_defs
mrb/split_algebra_order_ring_defs
July 3, 2024 23:33 12s
Dependent Issues Dependent Issues #54076: Scheduled
July 3, 2024 23:31 15s master
master
July 3, 2024 23:31 15s
feat(ContinuousFunctionalCalculus): add several lemmas involving the … continuous integration (staging) #8907: Commit c52fabc pushed by mathlib-bors bot
July 3, 2024 23:30 12m 32s staging
staging
July 3, 2024 23:30 12m 32s
feat(ContinuousFunctionalCalculus): add several lemmas involving the … continuous integration (mathlib forks) #110494: Commit c52fabc pushed by mathlib-bors bot
July 3, 2024 23:30 11s staging
staging
July 3, 2024 23:30 11s
[Merged by Bors] - feat(ContinuousFunctionalCalculus): add several lemmas involving the CFC and algebraMap Add "ready-to-merge" and "delegated" label from comment #46577: Issue comment #14065 (comment) created by dupuisf
July 3, 2024 23:30 12s
July 3, 2024 23:30 12s
[Merged by Bors] - feat(ContinuousFunctionalCalculus): add several lemmas involving the CFC and algebraMap Maintainer merge (comment) #50689: Issue comment #14065 (comment) created by dupuisf
July 3, 2024 23:30 4s
July 3, 2024 23:30 4s
[Merged by Bors] - feat(ContinuousFunctionalCalculus): add several lemmas involving the CFC and algebraMap Label PR based on Comment #27267: Issue comment #14065 (comment) created by dupuisf
July 3, 2024 23:30 2s
July 3, 2024 23:30 2s
Monitor Dependency Update Failures Monitor Dependency Update Failures #2426: completed by mattrobball
July 3, 2024 23:29 2s
July 3, 2024 23:29 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #62555: completed by mattrobball
July 3, 2024 23:29 2s
July 3, 2024 23:29 2s
split continuous integration #104259: Commit 180b661 pushed by mattrobball
July 3, 2024 23:28 1m 8s mrb/split_algebra_order_field_defs
mrb/split_algebra_order_field_defs
July 3, 2024 23:28 1m 8s
split continuous integration (mathlib forks) #110493: Commit 180b661 pushed by mattrobball
July 3, 2024 23:28 10s mrb/split_algebra_order_field_defs
mrb/split_algebra_order_field_defs
July 3, 2024 23:28 10s