Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
885,186 workflow run results
885,186 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat(Normed/Group): add nndist_one_right etc bot fix style (comment) #7621: Issue comment #17954 (comment) created by mathlib-bors bot
October 19, 2024 22:11 2s
October 19, 2024 22:11 2s
[Merged by Bors] - feat(Normed/Group): add nndist_one_right etc Label PR based on Comment #41331: Issue comment #17954 (comment) created by mathlib-bors bot
October 19, 2024 22:11 3s
October 19, 2024 22:11 3s
[Merged by Bors] - feat(Normed/Group): add nndist_one_right etc Maintainer merge (comment) #65983: Issue comment #17954 (comment) created by mathlib-bors bot
October 19, 2024 22:11 3s
October 19, 2024 22:11 3s
[Merged by Bors] - feat(Normed/Group): add nndist_one_right etc Add "ready-to-merge" and "delegated" label from comment #60641: Issue comment #17954 (comment) created by mathlib-bors bot
October 19, 2024 22:11 3s
October 19, 2024 22:11 3s
feat(Normed/Group): add nndist_one_right etc (#17954) continuous integration (mathlib forks) #141973: Commit e9f0a88 pushed by mathlib-bors bot
October 19, 2024 22:11 15s master
master
October 19, 2024 22:11 15s
feat(CategoryTheory/Monoidal): composition of monoidal category equiv… continuous integration (mathlib forks) #141972: Commit 240828d pushed by joelriou
October 19, 2024 22:10 12s adjunction-comp-is-monoidal
adjunction-comp-is-monoidal
October 19, 2024 22:10 12s
feat(CategoryTheory/Monoidal): composition of monoidal category equiv… continuous integration #133471: Commit 240828d pushed by joelriou
October 19, 2024 22:10 17m 26s adjunction-comp-is-monoidal
adjunction-comp-is-monoidal
October 19, 2024 22:10 17m 26s
feat: topology on module over topological ring (#16895) continuous integration #133470: Commit 227950d pushed by mathlib4-update-dependencies-bot
October 19, 2024 22:06 7m 7s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 19, 2024 22:06 7m 7s
feat: topology on module over topological ring (#16895) continuous integration (mathlib forks) #141971: Commit 227950d pushed by mathlib4-update-dependencies-bot
October 19, 2024 22:06 13s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 19, 2024 22:06 13s
Merge conflicts Merge conflicts #62853: Scheduled
October 19, 2024 22:06 10m 23s master
master
October 19, 2024 22:06 10m 23s
Update Mathlib Dependencies Update Mathlib Dependencies #3091: Scheduled
October 19, 2024 22:05 1m 0s master
master
October 19, 2024 22:05 1m 0s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #92000: completed by FR-vdash-bot
October 19, 2024 22:03 2s
October 19, 2024 22:03 2s
Dependent Issues Dependent Issues #63935: Scheduled
October 19, 2024 22:02 14s master
master
October 19, 2024 22:02 14s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91999: completed by leanprover-community-mathlib4-bot
October 19, 2024 22:01 3m 51s
October 19, 2024 22:01 3m 51s
Bump lean-toolchain on nightly-testing Bump lean-toolchain on nightly-testing #831: Scheduled
October 19, 2024 22:01 34s master
master
October 19, 2024 22:01 34s
bot fix style (review) bot fix style (review) #6023: submitted by Ruben-VandeVelde
October 19, 2024 22:00 2s
October 19, 2024 22:00 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46379: submitted by Ruben-VandeVelde
October 19, 2024 22:00 2s
October 19, 2024 22:00 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91998: completed by mathlib-bors bot
October 19, 2024 22:00 2s
October 19, 2024 22:00 2s
Maintainer merge (review) Maintainer merge (review) #51618: submitted by Ruben-VandeVelde
October 19, 2024 22:00 25s
October 19, 2024 22:00 25s
refactor: make CanonicallyOrdered... mixin Label PR based on Comment #41330: Issue comment #17444 (comment) created by leanprover-bot
October 19, 2024 21:57 1s
October 19, 2024 21:57 1s
refactor: make CanonicallyOrdered... mixin Maintainer merge (comment) #65982: Issue comment #17444 (comment) created by leanprover-bot
October 19, 2024 21:57 1s
October 19, 2024 21:57 1s
refactor: make CanonicallyOrdered... mixin bot fix style (comment) #7620: Issue comment #17444 (comment) created by leanprover-bot
October 19, 2024 21:57 2s
October 19, 2024 21:57 2s
refactor: make CanonicallyOrdered... mixin Add "ready-to-merge" and "delegated" label from comment #60640: Issue comment #17444 (comment) created by leanprover-bot
October 19, 2024 21:57 2s
October 19, 2024 21:57 2s
bot fix style (review) bot fix style (review) #6022: submitted by Ruben-VandeVelde
October 19, 2024 21:54 2s
October 19, 2024 21:54 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46378: submitted by Ruben-VandeVelde
October 19, 2024 21:54 2s
October 19, 2024 21:54 2s