Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
664,950 workflow run results
664,950 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Label New Contributors #38858: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:50 21s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:50 21s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Post PR summary comment #24713: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:50 51s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:50 51s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear lint and suggest #61102: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:50 1m 19s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:50 1m 19s
why not bundle it too continuous integration (mathlib forks) #141673: Commit 02370cc pushed by eric-wieser
October 18, 2024 23:50 10s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:50 10s
why not bundle it too continuous integration #133194: Commit 02370cc pushed by eric-wieser
October 18, 2024 23:50 1m 13s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:50 1m 13s
working continuous integration (mathlib forks) #141672: Commit 60e610c pushed by eric-wieser
October 18, 2024 23:49 11s eric-wieser/SM.PiTensorProduct.DirectSum
eric-wieser/SM.PiTensorProduct.DirectSum
October 18, 2024 23:49 11s
working continuous integration #133193: Commit 60e610c pushed by eric-wieser
October 18, 2024 23:49 2m 24s eric-wieser/SM.PiTensorProduct.DirectSum
eric-wieser/SM.PiTensorProduct.DirectSum
October 18, 2024 23:49 2m 24s
Merge conflicts Merge conflicts #62771: Scheduled
October 18, 2024 23:48 15s master
master
October 18, 2024 23:48 15s
Dependent Issues Dependent Issues #63852: Scheduled
October 18, 2024 23:46 3m 17s master
master
October 18, 2024 23:46 3m 17s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91722: completed by eric-wieser
October 18, 2024 23:43 2s
October 18, 2024 23:43 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91721: completed by alreadydone
October 18, 2024 23:39 2s
October 18, 2024 23:39 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91720: completed by leanprover-community-mathlib4-bot
October 18, 2024 23:38 2s
October 18, 2024 23:38 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91719: completed by alreadydone
October 18, 2024 23:36 2s
October 18, 2024 23:36 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91718: completed by leanprover-community-mathlib4-bot
October 18, 2024 23:35 2s
October 18, 2024 23:35 2s
Merge conflicts Merge conflicts #62770: Scheduled
October 18, 2024 23:34 15s master
master
October 18, 2024 23:34 15s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91717: completed by alreadydone
October 18, 2024 23:32 2s
October 18, 2024 23:32 2s
Dependent Issues Dependent Issues #63851: Scheduled
October 18, 2024 23:31 2m 51s master
master
October 18, 2024 23:31 2m 51s
shake+ continuous integration (mathlib forks) #141671: Commit 6cf3245 pushed by alreadydone
October 18, 2024 23:28 9s Module.jacobson
Module.jacobson
October 18, 2024 23:28 9s
shake+ continuous integration #133192: Commit 6cf3245 pushed by alreadydone
October 18, 2024 23:28 7m 42s Module.jacobson
Module.jacobson
October 18, 2024 23:28 7m 42s
Maintainer merge (review) Maintainer merge (review) #51507: submitted by eric-wieser
October 18, 2024 23:26 2s
October 18, 2024 23:26 2s
Maintainer merge (review comment) Maintainer merge (review comment) #63553: created by eric-wieser
October 18, 2024 23:26 2s
October 18, 2024 23:26 2s
bot fix style (review comment) bot fix style (review comment) #8271: created by eric-wieser
October 18, 2024 23:26 2s
October 18, 2024 23:26 2s
bot fix style (review) bot fix style (review) #5912: submitted by eric-wieser
October 18, 2024 23:26 2s
October 18, 2024 23:26 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #6514: created by eric-wieser
October 18, 2024 23:26 2s
October 18, 2024 23:26 2s
Add "ready-to-merge" and "delegated" label from PR review Add "ready-to-merge" and "delegated" label from PR review #46268: submitted by eric-wieser
October 18, 2024 23:26 3s
October 18, 2024 23:26 3s