Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
979,686 workflow run results
979,686 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge conflicts Merge conflicts #65770: Scheduled
November 21, 2024 23:48 15s master
master
November 21, 2024 23:48 15s
Dependent Issues Dependent Issues #66920: Scheduled
November 21, 2024 23:46 25s master
master
November 21, 2024 23:46 25s
[Merged by Bors] - chore: move def MonoidHom.inverse to earlier defs file lint and suggest #69097: Pull request #19348 opened by kim-em
November 21, 2024 23:44 1m 24s mv_monoidhom_inverse
mv_monoidhom_inverse
November 21, 2024 23:44 1m 24s
[Merged by Bors] - chore: move def MonoidHom.inverse to earlier defs file Label New Contributors #46853: Pull request #19348 opened by kim-em
November 21, 2024 23:44 27s mv_monoidhom_inverse
mv_monoidhom_inverse
November 21, 2024 23:44 27s
[Merged by Bors] - chore: move def MonoidHom.inverse to earlier defs file Autolabel PRs #2781: Pull request #19348 opened by kim-em
November 21, 2024 23:44 59s mv_monoidhom_inverse
mv_monoidhom_inverse
November 21, 2024 23:44 59s
[Merged by Bors] - chore: move def MonoidHom.inverse to earlier defs file Post PR summary comment #32708: Pull request #19348 opened by kim-em
November 21, 2024 23:44 56s mv_monoidhom_inverse
mv_monoidhom_inverse
November 21, 2024 23:44 56s
chore: move def MonoidHom.inverse to earlier defs file continuous integration (mathlib forks) #154140: Commit be82164 pushed by kim-em
November 21, 2024 23:43 12s mv_monoidhom_inverse
mv_monoidhom_inverse
November 21, 2024 23:43 12s
chore: move def MonoidHom.inverse to earlier defs file continuous integration #144668: Commit be82164 pushed by kim-em
November 21, 2024 23:43 39m 47s mv_monoidhom_inverse
mv_monoidhom_inverse
November 21, 2024 23:43 39m 47s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103241: completed by gio256
November 21, 2024 23:43 2s
November 21, 2024 23:43 2s
feat:(Algebra/Ring/Parity): Add missing lemma odd_add_self_one Label New Contributors #46852: Pull request #19347 opened by IvanRenison
November 21, 2024 23:41 11s IvanRenison/odd_add_self_one
IvanRenison/odd_add_self_one
November 21, 2024 23:41 11s
feat:(Algebra/Ring/Parity): Add missing lemma odd_add_self_one Autolabel PRs #2780: Pull request #19347 opened by IvanRenison
November 21, 2024 23:41 1m 0s IvanRenison/odd_add_self_one
IvanRenison/odd_add_self_one
November 21, 2024 23:41 1m 0s
feat:(Algebra/Ring/Parity): Add missing lemma odd_add_self_one Post PR summary comment #32707: Pull request #19347 opened by IvanRenison
November 21, 2024 23:41 55s IvanRenison/odd_add_self_one
IvanRenison/odd_add_self_one
November 21, 2024 23:41 55s
feat:(Algebra/Ring/Parity): Add missing lemma odd_add_self_one lint and suggest #69096: Pull request #19347 opened by IvanRenison
November 21, 2024 23:41 1m 24s IvanRenison/odd_add_self_one
IvanRenison/odd_add_self_one
November 21, 2024 23:41 1m 24s
Add missing lema odd_add_self_one continuous integration (mathlib forks) #154139: Commit 8408e02 pushed by IvanRenison
November 21, 2024 23:40 9s IvanRenison/odd_add_self_one
IvanRenison/odd_add_self_one
November 21, 2024 23:40 9s
Add missing lema odd_add_self_one continuous integration #144667: Commit 8408e02 pushed by IvanRenison
November 21, 2024 23:40 35m 55s IvanRenison/odd_add_self_one
IvanRenison/odd_add_self_one
November 21, 2024 23:40 35m 55s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103240: completed by hrmacbeth
November 21, 2024 23:38 3s
November 21, 2024 23:38 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103239: completed by vihdzp
November 21, 2024 23:36 3s
November 21, 2024 23:36 3s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #103238: completed by kim-em
November 21, 2024 23:35 2s
November 21, 2024 23:35 2s
[Merged by Bors] - chore: add shortcut instances after LinearOrder Nat Add "ready-to-merge" and "delegated" label #433: Issue comment #19346 (comment) created by Ruben-VandeVelde
November 21, 2024 23:34 11s
November 21, 2024 23:34 11s
[Merged by Bors] - chore: add shortcut instances after LinearOrder Nat Maintainer merge #6288: Issue comment #19346 (comment) created by Ruben-VandeVelde
November 21, 2024 23:34 11s
November 21, 2024 23:34 11s
[Merged by Bors] - chore: add shortcut instances after LinearOrder Nat Label PR based on Comment #46717: Issue comment #19346 (comment) created by Ruben-VandeVelde
November 21, 2024 23:34 2s
November 21, 2024 23:34 2s
[Merged by Bors] - chore: add shortcut instances after LinearOrder Nat bot fix style (comment) #13500: Issue comment #19346 (comment) created by Ruben-VandeVelde
November 21, 2024 23:34 2s
November 21, 2024 23:34 2s
[Merged by Bors] - chore: add shortcut instances after LinearOrder Nat Bench output summary #4880: Issue comment #19346 (comment) created by Ruben-VandeVelde
November 21, 2024 23:34 2s
November 21, 2024 23:34 2s
Merge conflicts Merge conflicts #65769: Scheduled
November 21, 2024 23:34 17s master
master
November 21, 2024 23:34 17s
[Merged by Bors] - feat(AlgebraicTopology): StrictSegal simplicial sets are quasicategories lint and suggest #69095: Pull request #19270 synchronize by gio256
November 21, 2024 23:33 1m 23s nerve
nerve
November 21, 2024 23:33 1m 23s