Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_merge.yml
10,895 workflow runs
10,895 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Maintainer merge Maintainer merge #10745: created by jcommelin
December 4, 2024 14:50 18s
December 4, 2024 14:50 18s
Maintainer merge Maintainer merge #10744: submitted by jcommelin
December 4, 2024 14:50 1m 9s
December 4, 2024 14:50 1m 9s
Maintainer merge Maintainer merge #10743: created by acmepjz
December 4, 2024 13:48 12s
December 4, 2024 13:48 12s
Maintainer merge Maintainer merge #10742: submitted by acmepjz
December 4, 2024 13:48 13s
December 4, 2024 13:48 13s
Maintainer merge Maintainer merge #10741: created by acmepjz
December 4, 2024 13:42 11s
December 4, 2024 13:42 11s
Maintainer merge Maintainer merge #10740: submitted by acmepjz
December 4, 2024 13:42 12s
December 4, 2024 13:42 12s
[Merged by Bors] - refactor: generalize SMul (Ideal R) (Submodule R M) to SMul (Submodule R A) (Submodule R M) Maintainer merge #10739: Issue comment #18419 (comment) created by mathlib-bors bot
December 4, 2024 12:59 11s
December 4, 2024 12:59 11s
[Merged by Bors] - refactor: generalize SMul (Ideal R) (Submodule R M) to SMul (Submodule R A) (Submodule R M) Maintainer merge #10738: Issue comment #18419 (comment) created by riccardobrasca
December 4, 2024 12:32 11s
December 4, 2024 12:32 11s
[Merged by Bors] - feat(Logic/Basic): xor_iff_or_and_not_and Maintainer merge #10737: Issue comment #19703 (comment) created by mathlib-bors bot
December 4, 2024 12:22 17s
December 4, 2024 12:22 17s
[Merged by Bors] - feat(Logic/Basic): xor_iff_or_and_not_and Maintainer merge #10736: Issue comment #19703 (comment) created by ADedecker
December 4, 2024 11:42 14s
December 4, 2024 11:42 14s
Maintainer merge Maintainer merge #10735: submitted by ADedecker
December 4, 2024 11:42 9s
December 4, 2024 11:42 9s
Maintainer merge Maintainer merge #10734: created by ADedecker
December 4, 2024 11:42 15s
December 4, 2024 11:42 15s
perf: improves the performance of the Repr (Equiv.Perm α) instance Maintainer merge #10733: Issue comment #12610 (comment) created by Komyyy
December 4, 2024 11:30 9s
December 4, 2024 11:30 9s
[Merged by Bors] - refactor: generalize SMul (Ideal R) (Submodule R M) to SMul (Submodule R A) (Submodule R M) Maintainer merge #10732: Issue comment #18419 (comment) created by leanprover-bot
December 4, 2024 11:07 14s
December 4, 2024 11:07 14s
Maintainer merge Maintainer merge #10731: created by grunweg
December 4, 2024 10:57 14s
December 4, 2024 10:57 14s
Maintainer merge Maintainer merge #10730: created by grunweg
December 4, 2024 10:57 15s
December 4, 2024 10:57 15s
Maintainer merge Maintainer merge #10729: created by grunweg
December 4, 2024 10:57 14s
December 4, 2024 10:57 14s
Maintainer merge Maintainer merge #10728: submitted by grunweg
December 4, 2024 10:57 11s
December 4, 2024 10:57 11s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10727: Issue comment #19042 (comment) edited by alreadydone
December 4, 2024 10:52 8s
December 4, 2024 10:52 8s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10726: Issue comment #19042 (comment) created by alreadydone
December 4, 2024 10:52 11s
December 4, 2024 10:52 11s
Maintainer merge Maintainer merge #10725: created by vihdzp
December 4, 2024 10:51 14s
December 4, 2024 10:51 14s
Maintainer merge Maintainer merge #10724: submitted by vihdzp
December 4, 2024 10:51 11s
December 4, 2024 10:51 11s
[Merged by Bors] - refactor: generalize SMul (Ideal R) (Submodule R M) to SMul (Submodule R A) (Submodule R M) Maintainer merge #10723: Issue comment #18419 (comment) created by alreadydone
December 4, 2024 10:38 10s
December 4, 2024 10:38 10s
[Merged by Bors] - chore: golf IsCycles.other_adj_of_adj Maintainer merge #10722: Issue comment #19710 (comment) created by mathlib-bors bot
December 4, 2024 10:30 14s
December 4, 2024 10:30 14s
Maintainer merge Maintainer merge #10721: submitted by TwoFX
December 4, 2024 10:21 14s
December 4, 2024 10:21 14s