Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: extend smoothness category of manifolds with corners to include analytic manifolds Maintainer merge #10750: Issue comment #19696 (comment) created by sgouezel
December 4, 2024 15:34 44s
December 4, 2024 15:34 44s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10749: Issue comment #19042 (comment) edited by alreadydone
December 4, 2024 15:10 22s
December 4, 2024 15:10 22s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10748: Issue comment #19042 (comment) edited by alreadydone
December 4, 2024 15:10 13s
December 4, 2024 15:10 13s
feat(RingTheory/Localization/Defs): localization of a direct product injects into product of localizations Maintainer merge #10747: Issue comment #19042 (comment) created by alreadydone
December 4, 2024 15:09 17s
December 4, 2024 15:09 17s
Maintainer merge Maintainer merge #10746: created by jcommelin
December 4, 2024 14:50 18s
December 4, 2024 14:50 18s
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