Skip to content

Actions: leanprover-community/mathlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
862,283 workflow run results
862,283 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting Label New Contributors #37685: Pull request #17708 synchronize by alreadydone
October 13, 2024 23:56 16s Ideal.mul
Ideal.mul
October 13, 2024 23:56 16s
refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting Post PR summary comment #23540: Pull request #17708 synchronize by alreadydone
October 13, 2024 23:56 49s Ideal.mul
Ideal.mul
October 13, 2024 23:56 49s
refactor: generalize Mul of Submodule and SMul of Ideal on Submodule to noncommutative setting lint and suggest #59929: Pull request #17708 synchronize by alreadydone
October 13, 2024 23:56 1m 27s Ideal.mul
Ideal.mul
October 13, 2024 23:56 1m 27s
fixes continuous integration #131434: Commit 3501d9c pushed by alreadydone
October 13, 2024 23:56 11m 45s Ideal.mul
Ideal.mul
October 13, 2024 23:56 11m 45s
fixes continuous integration (mathlib forks) #139747: Commit 3501d9c pushed by alreadydone
October 13, 2024 23:56 10s Ideal.mul
Ideal.mul
October 13, 2024 23:56 10s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #89946: completed by kim-em
October 13, 2024 23:55 3s
October 13, 2024 23:55 3s
chore: rename Complex.ofReal' to Complex.ofReal (#17650) continuous integration (staging) #10990: Commit d990505 pushed by mathlib-bors bot
October 13, 2024 23:54 23m 51s staging
staging
October 13, 2024 23:54 23m 51s
chore: rename Complex.ofReal' to Complex.ofReal (#17650) continuous integration (mathlib forks) #139746: Commit d990505 pushed by mathlib-bors bot
October 13, 2024 23:54 10s staging
staging
October 13, 2024 23:54 10s
chore: adaptations for nightly-2024-10-13 (#17711) continuous integration #131433: Commit d1ea328 pushed by mathlib-bors bot
October 13, 2024 23:53 9m 25s bump/v4.14.0
bump/v4.14.0
October 13, 2024 23:53 9m 25s
[Merged by Bors] - chore: adaptations for nightly-2024-10-13 bot fix style (comment) #6344: Issue comment #17711 (comment) created by mathlib-bors bot
October 13, 2024 23:53 3s
October 13, 2024 23:53 3s
[Merged by Bors] - chore: adaptations for nightly-2024-10-13 Label PR based on Comment #40157: Issue comment #17711 (comment) created by mathlib-bors bot
October 13, 2024 23:53 2s
October 13, 2024 23:53 2s
[Merged by Bors] - chore: adaptations for nightly-2024-10-13 Add "ready-to-merge" and "delegated" label from comment #59467: Issue comment #17711 (comment) created by mathlib-bors bot
October 13, 2024 23:53 2s
October 13, 2024 23:53 2s
[Merged by Bors] - chore: adaptations for nightly-2024-10-13 Maintainer merge (comment) #64706: Issue comment #17711 (comment) created by mathlib-bors bot
October 13, 2024 23:53 2s
October 13, 2024 23:53 2s
chore: adaptations for nightly-2024-10-13 (#17711) continuous integration (mathlib forks) #139745: Commit d1ea328 pushed by mathlib-bors bot
October 13, 2024 23:53 11s bump/v4.14.0
bump/v4.14.0
October 13, 2024 23:53 11s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #89945: completed by kim-em
October 13, 2024 23:52 3m 42s
October 13, 2024 23:52 3m 42s
Post to zulip if the nightly-testing branch is failing. Post to zulip if the nightly-testing branch is failing. #89944: completed by kim-em
October 13, 2024 23:52 2s
October 13, 2024 23:52 2s
Merge conflicts Merge conflicts #62330: Scheduled
October 13, 2024 23:48 6m 18s master
master
October 13, 2024 23:48 6m 18s
[Merged by Bors] - refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology Label PR based on Comment #40156: Issue comment #16523 (comment) created by kim-em
October 13, 2024 23:47 2s
October 13, 2024 23:47 2s
[Merged by Bors] - refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology bot fix style (comment) #6343: Issue comment #16523 (comment) created by kim-em
October 13, 2024 23:47 2s
October 13, 2024 23:47 2s
[Merged by Bors] - refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology Maintainer merge (comment) #64705: Issue comment #16523 (comment) created by kim-em
October 13, 2024 23:47 2s
October 13, 2024 23:47 2s
[Merged by Bors] - refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology Add "ready-to-merge" and "delegated" label from comment #59466: Issue comment #16523 (comment) created by kim-em
October 13, 2024 23:47 10s
October 13, 2024 23:47 10s
[Merged by Bors] - chore: rename Complex.ofReal' to Complex.ofReal Add "ready-to-merge" and "delegated" label from comment #59465: Issue comment #17650 (comment) created by kim-em
October 13, 2024 23:46 12s
October 13, 2024 23:46 12s
[Merged by Bors] - chore: rename Complex.ofReal' to Complex.ofReal Label PR based on Comment #40155: Issue comment #17650 (comment) created by kim-em
October 13, 2024 23:46 2s
October 13, 2024 23:46 2s
[Merged by Bors] - chore: rename Complex.ofReal' to Complex.ofReal Maintainer merge (comment) #64704: Issue comment #17650 (comment) created by kim-em
October 13, 2024 23:46 2s
October 13, 2024 23:46 2s
[Merged by Bors] - chore: rename Complex.ofReal' to Complex.ofReal bot fix style (comment) #6342: Issue comment #17650 (comment) created by kim-em
October 13, 2024 23:46 2s
October 13, 2024 23:46 2s