Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
708,091 workflow run results
708,091 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat: add MultilinearMap.dfinsuppFamily and MultilinearMap.piFamily Label New Contributors #38603: Pull request #17881 synchronize by eric-wieser
October 17, 2024 23:58 26s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:58 26s
[Merged by Bors] - feat: add MultilinearMap.dfinsuppFamily and MultilinearMap.piFamily Post PR summary comment #24458: Pull request #17881 synchronize by eric-wieser
October 17, 2024 23:58 45s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:58 45s
[Merged by Bors] - feat: add MultilinearMap.dfinsuppFamily and MultilinearMap.piFamily lint and suggest #60847: Pull request #17881 synchronize by eric-wieser
October 17, 2024 23:58 1m 46s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:58 1m 46s
docstring continuous integration (mathlib forks) #141247: Commit d364a29 pushed by eric-wieser
October 17, 2024 23:58 13s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:58 13s
docstring continuous integration #132807: Commit d364a29 pushed by eric-wieser
October 17, 2024 23:58 6m 55s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:58 6m 55s
chore(SetTheory/Ordinal/Notation): improve documentation lint and suggest #60846: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:57 2s vi.onote
vi.onote
October 17, 2024 23:57 2s
chore(SetTheory/Ordinal/Notation): improve documentation Label New Contributors #38602: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:57 11s vi.onote
vi.onote
October 17, 2024 23:57 11s
chore(SetTheory/Ordinal/Notation): improve documentation Post PR summary comment #24457: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:57 48s vi.onote
vi.onote
October 17, 2024 23:57 48s
fix continuous integration (mathlib forks) #141246: Commit 9562dc5 pushed by vihdzp
October 17, 2024 23:57 11s vi.onote
vi.onote
October 17, 2024 23:57 11s
fix continuous integration #132806: Commit 9562dc5 pushed by vihdzp
October 17, 2024 23:57 5m 59s vi.onote
vi.onote
October 17, 2024 23:57 5m 59s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #91326: completed by vihdzp
October 17, 2024 23:57 2s
October 17, 2024 23:57 2s
chore(SetTheory/Ordinal/Notation): improve documentation lint and suggest #60845: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:53 2s vi.onote
vi.onote
October 17, 2024 23:53 2s
chore(SetTheory/Ordinal/Notation): improve documentation Post PR summary comment #24456: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:53 43s vi.onote
vi.onote
October 17, 2024 23:53 43s
chore(SetTheory/Ordinal/Notation): improve documentation Label New Contributors #38601: Pull request #16053 synchronize by vihdzp
October 17, 2024 23:53 12s vi.onote
vi.onote
October 17, 2024 23:53 12s
fix continuous integration (mathlib forks) #141245: Commit d604f83 pushed by vihdzp
October 17, 2024 23:53 10s vi.onote
vi.onote
October 17, 2024 23:53 10s
fix continuous integration #132805: Commit d604f83 pushed by vihdzp
October 17, 2024 23:53 6m 14s vi.onote
vi.onote
October 17, 2024 23:53 6m 14s
[Merged by Bors] - feat: add MultilinearMap.dfinsuppFamily and MultilinearMap.piFamily Label New Contributors #38600: Pull request #17881 synchronize by eric-wieser
October 17, 2024 23:53 22s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:53 22s
[Merged by Bors] - feat: add MultilinearMap.dfinsuppFamily and MultilinearMap.piFamily Post PR summary comment #24455: Pull request #17881 synchronize by eric-wieser
October 17, 2024 23:53 43s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:53 43s
[Merged by Bors] - feat: add MultilinearMap.dfinsuppFamily and MultilinearMap.piFamily lint and suggest #60844: Pull request #17881 synchronize by eric-wieser
October 17, 2024 23:53 1m 42s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:53 1m 42s
more lemmas continuous integration (mathlib forks) #141244: Commit fc685f5 pushed by eric-wieser
October 17, 2024 23:53 9s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:53 9s
more lemmas continuous integration #132804: Commit fc685f5 pushed by eric-wieser
October 17, 2024 23:53 7m 11s eric-wieser/dfinsupp-cursedComp
eric-wieser/dfinsupp-cursedComp
October 17, 2024 23:53 7m 11s
Maintainer merge (review comment) Maintainer merge (review comment) #63365: created by Vtec234
October 17, 2024 23:53 2s
October 17, 2024 23:53 2s
bot fix style (review comment) bot fix style (review comment) #8083: created by Vtec234
October 17, 2024 23:53 2s
October 17, 2024 23:53 2s
Add "ready-to-merge" and "delegated" label from PR review comment Add "ready-to-merge" and "delegated" label from PR review comment #6347: created by Vtec234
October 17, 2024 23:53 2s
October 17, 2024 23:53 2s
Maintainer merge (review) Maintainer merge (review) #51341: submitted by Vtec234
October 17, 2024 23:53 2s
October 17, 2024 23:53 2s