Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
882,084 workflow run results
882,084 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(LinearAlgebra/Multilinear/DirectSum, LinearAlgebra/DirectSum/{PiTensorProduct,Finsupp}): interaction between MultilinearMap and DirectSum, and between PiTensorProduct and DirectSum Label New Contributors #38862: Pull request #11155 synchronize by eric-wieser
October 18, 2024 23:56 18s SM.PiTensorProduct.DirectSum
SM.PiTensorProduct.DirectSum
October 18, 2024 23:56 18s
feat(LinearAlgebra/Multilinear/DirectSum, LinearAlgebra/DirectSum/{PiTensorProduct,Finsupp}): interaction between MultilinearMap and DirectSum, and between PiTensorProduct and DirectSum Post PR summary comment #24717: Pull request #11155 synchronize by eric-wieser
October 18, 2024 23:56 43s SM.PiTensorProduct.DirectSum
SM.PiTensorProduct.DirectSum
October 18, 2024 23:56 43s
feat(LinearAlgebra/Multilinear/DirectSum, LinearAlgebra/DirectSum/{PiTensorProduct,Finsupp}): interaction between MultilinearMap and DirectSum, and between PiTensorProduct and DirectSum lint and suggest #61106: Pull request #11155 synchronize by eric-wieser
October 18, 2024 23:56 1m 35s SM.PiTensorProduct.DirectSum
SM.PiTensorProduct.DirectSum
October 18, 2024 23:56 1m 35s
Merge commit 'fa8e2105aa86b708d0b03e08ba31c88c1a1f982c' into SM.PiTen… continuous integration (mathlib forks) #141677: Commit 7d247cc pushed by eric-wieser
October 18, 2024 23:56 13s SM.PiTensorProduct.DirectSum
SM.PiTensorProduct.DirectSum
October 18, 2024 23:56 13s
Merge commit 'fa8e2105aa86b708d0b03e08ba31c88c1a1f982c' into SM.PiTen… continuous integration #133198: Commit 7d247cc pushed by eric-wieser
October 18, 2024 23:56 6m 46s SM.PiTensorProduct.DirectSum
SM.PiTensorProduct.DirectSum
October 18, 2024 23:56 6m 46s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91727: completed by eric-wieser
October 18, 2024 23:55 1s
October 18, 2024 23:55 1s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear lint and suggest #61105: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:54 1m 22s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:54 1m 22s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Label New Contributors #38861: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:54 23s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:54 23s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Post PR summary comment #24716: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:54 44s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:54 44s
golf continuous integration (mathlib forks) #141676: Commit a644005 pushed by eric-wieser
October 18, 2024 23:54 11s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:54 11s
golf continuous integration #133197: Commit a644005 pushed by eric-wieser
October 18, 2024 23:54 24m 21s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:54 24m 21s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91726: completed by eric-wieser
October 18, 2024 23:53 2s
October 18, 2024 23:53 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91725: completed by leanprover-community-mathlib4-bot
October 18, 2024 23:53 3s
October 18, 2024 23:53 3s
one more continuous integration #133196: Commit 9e71aa5 pushed by eric-wieser
October 18, 2024 23:53 2m 5s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:53 2m 5s
one more continuous integration (mathlib forks) #141675: Commit 9e71aa5 pushed by eric-wieser
October 18, 2024 23:53 14s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:53 14s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Label New Contributors #38860: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:53 25s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:53 25s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Post PR summary comment #24715: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:53 44s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:53 44s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear lint and suggest #61104: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:53 1m 32s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:53 1m 32s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91724: completed by eric-wieser
October 18, 2024 23:51 2s
October 18, 2024 23:51 2s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91723: completed by eric-wieser
October 18, 2024 23:51 2s
October 18, 2024 23:51 2s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Label New Contributors #38859: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:51 24s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:51 24s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Post PR summary comment #24714: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:51 45s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:51 45s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear lint and suggest #61103: Pull request #17932 synchronize by eric-wieser
October 18, 2024 23:51 1m 18s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:51 1m 18s
variable cleanup continuous integration (mathlib forks) #141674: Commit 5b29ee7 pushed by eric-wieser
October 18, 2024 23:51 14s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:51 14s
variable cleanup continuous integration #133195: Commit 5b29ee7 pushed by eric-wieser
October 18, 2024 23:51 2m 11s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:51 2m 11s