Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Post PR summary comment #24712: Pull request #17932 opened by eric-wieser
October 18, 2024 23:25 46s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:25 46s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Label New Contributors #38857: Pull request #17932 opened by eric-wieser
October 18, 2024 23:25 19s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:25 19s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear lint and suggest #61101: Pull request #17932 opened by eric-wieser
October 18, 2024 23:25 1m 22s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:25 1m 22s
[Merged by Bors] - feat: algebraic properties of LinearMap.compMultilinear Autolabel PRs #1181: Pull request #17932 opened by eric-wieser
October 18, 2024 23:25 1m 10s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:25 1m 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91716: completed by eric-wieser
October 18, 2024 23:25 1s
October 18, 2024 23:25 1s
feat: algebraic properties of LinearMap.compMultilinear continuous integration (mathlib forks) #141670: Commit 69f1798 pushed by eric-wieser
October 18, 2024 23:25 10s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:25 10s
feat: algebraic properties of LinearMap.compMultilinear continuous integration #133191: Commit 69f1798 pushed by eric-wieser
October 18, 2024 23:25 17m 45s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:25 17m 45s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91715: completed by eric-wieser
October 18, 2024 23:24 2s
October 18, 2024 23:24 2s
feat: algebraic properties of LinearMap.compMultilinear continuous integration #133190: Commit 9eb8be2 pushed by eric-wieser
October 18, 2024 23:24 1m 24s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:24 1m 24s
feat: algebraic properties of LinearMap.compMultilinear continuous integration (mathlib forks) #141669: Commit 9eb8be2 pushed by eric-wieser
October 18, 2024 23:24 10s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:24 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91714: completed by eric-wieser
October 18, 2024 23:24 2s
October 18, 2024 23:24 2s
[Merged by Bors] - feat: semisimple rings are Artinian Label New Contributors #38856: Pull request #17557 synchronize by alreadydone
October 18, 2024 23:23 10s finite_semisimple_module
finite_semisimple_module
October 18, 2024 23:23 10s
[Merged by Bors] - feat: semisimple rings are Artinian Post PR summary comment #24711: Pull request #17557 synchronize by alreadydone
October 18, 2024 23:23 49s finite_semisimple_module
finite_semisimple_module
October 18, 2024 23:23 49s
[Merged by Bors] - feat: semisimple rings are Artinian lint and suggest #61100: Pull request #17557 synchronize by alreadydone
October 18, 2024 23:23 1m 21s finite_semisimple_module
finite_semisimple_module
October 18, 2024 23:23 1m 21s
same timeout in another proof ... continuous integration (mathlib forks) #141668: Commit 14c9443 pushed by alreadydone
October 18, 2024 23:23 12s finite_semisimple_module
finite_semisimple_module
October 18, 2024 23:23 12s
same timeout in another proof ... continuous integration #133189: Commit 14c9443 pushed by alreadydone
October 18, 2024 23:23 8m 56s finite_semisimple_module
finite_semisimple_module
October 18, 2024 23:23 8m 56s
feat: algebraic properties of LinearMap.compMultilinear continuous integration (mathlib forks) #141667: Commit 413cb26 pushed by eric-wieser
October 18, 2024 23:23 9s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:23 9s
feat: algebraic properties of LinearMap.compMultilinear continuous integration #133188: Commit 413cb26 pushed by eric-wieser
October 18, 2024 23:23 1m 15s eric-wieser/compMultilinear
eric-wieser/compMultilinear
October 18, 2024 23:23 1m 15s
Merge conflicts Merge conflicts #62769: Scheduled
October 18, 2024 23:22 14s master
master
October 18, 2024 23:22 14s
Dependent Issues Dependent Issues #63850: Scheduled
October 18, 2024 23:20 2m 57s master
master
October 18, 2024 23:20 2m 57s
refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings lint and suggest #61099: Pull request #17930 synchronize by alreadydone
October 18, 2024 23:20 1m 30s Ideal.IsTwoSided
Ideal.IsTwoSided
October 18, 2024 23:20 1m 30s
refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings Label New Contributors #38855: Pull request #17930 synchronize by alreadydone
October 18, 2024 23:20 14s Ideal.IsTwoSided
Ideal.IsTwoSided
October 18, 2024 23:20 14s
refactor: introduce Ideal.IsTwoSided class for quotients of noncommutative rings Post PR summary comment #24710: Pull request #17930 synchronize by alreadydone
October 18, 2024 23:20 44s Ideal.IsTwoSided
Ideal.IsTwoSided
October 18, 2024 23:20 44s
fix continuous integration (mathlib forks) #141666: Commit 8f163e5 pushed by alreadydone
October 18, 2024 23:20 10s Ideal.IsTwoSided
Ideal.IsTwoSided
October 18, 2024 23:20 10s
fix continuous integration #133187: Commit 8f163e5 pushed by alreadydone
October 18, 2024 23:20 18m 55s Ideal.IsTwoSided
Ideal.IsTwoSided
October 18, 2024 23:20 18m 55s