Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_merge.yml
2,500+ workflow runs
2,500+ workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(*): remove comments mentioning obsolete note [nolint_ge] Maintainer merge #254228: Pull request #37503 submitted by joneugster
7s
7s
chore(LinearAlgebra/Dimension): generalise proof of finrank_le_finrank_of_surjective Maintainer merge #254227: Issue comment #38129 (comment) created by themathqueen
9s
9s
refactor(Algebra/Order): unbundle group and ring cone Maintainer merge #254226: Issue comment #37298 (comment) created by joneugster
1s
1s
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254225: Issue comment #37770 (comment) created by mathlib-bors bot
1s
1s
chore(Data/Int/Init): generalize le_induction from Prop to Sort* + def lemmas Maintainer merge #254224: Issue comment #37171 (comment) created by joneugster
11s
11s
feat: run-length encoding Maintainer merge #254223: Pull request #30900 created by plp127
1s
1s
feat: run-length encoding Maintainer merge #254222: Pull request #30900 submitted by plp127
1s
1s
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254221: Issue comment #37770 (comment) created by tb65536
2s
2s
feat: run-length encoding Maintainer merge #254220: Pull request #30900 created by joneugster
1s
1s
feat: run-length encoding Maintainer merge #254219: Pull request #30900 created by joneugster
2s
2s
feat: run-length encoding Maintainer merge #254218: Pull request #30900 submitted by joneugster
1s
1s
feat(Algebra/Category): the category of local algebras with a fixed residue field Maintainer merge #254217: Issue comment #37940 (comment) edited by mathlib-dependent-issues bot
1s
1s
[Merged by Bors] - doc: fix typo in author name Maintainer merge #254216: Issue comment #38155 (comment) created by mathlib-bors bot
1s
1s
chore(CategoryTheory/Comma/Arrow): restore use of inferInstanceAs Maintainer merge #254215: Issue comment #38065 (comment) created by JovanGerb
1s
1s
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254214: Pull request #37770 submitted by tb65536
Skipped
Skipped
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254213: Pull request #37770 created by tb65536
1s
1s
[Merged by Bors] - doc: fix typo in author name Maintainer merge #254212: Pull request #38155 submitted by bryangingechen
1s
1s
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254211: Issue comment #37770 (comment) created by mathlib-bors bot
Skipped
Skipped
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254210: Pull request #37770 created by riccardobrasca
1s
1s
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254209: Pull request #37770 created by riccardobrasca
1s
1s
[Merged by Bors] - feat(NumberTheory/ArithmeticFunction/LFunction): an euler product of power series is the limit of the euler products Maintainer merge #254208: Pull request #37770 submitted by riccardobrasca
1s
1s
feat: overlapping instances linter Maintainer merge #254207: Issue comment #38126 (comment) edited by leanprover-radar
1s
1s
[Merged by Bors] - chore: remove declarations deprecated between 2021-04-15 and 2025-10-15 Maintainer merge #254206: Issue comment #38057 (comment) created by mathlib-bors bot
1s
1s
chore: reorder arguments of AddMonoidHom.map_zsmul Maintainer merge #254205: Pull request #37864 submitted by JovanGerb
1s
1s
chore: reorder arguments of AddMonoidHom.map_zsmul Maintainer merge #254204: Pull request #37864 created by JovanGerb
Skipped
Skipped