Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - perf: speedup using Submodule.restrictScalars_mem instead of relying on defeq Maintainer merge #10712: Issue comment #19711 (comment) created by mathlib-bors bot
December 4, 2024 09:34 13s
December 4, 2024 09:34 13s
feat(SetTheory/Ordinal/Basic): recursion on well-orders Maintainer merge #10711: Issue comment #19678 (comment) edited by mathlib4-dependent-issues-bot
December 4, 2024 09:34 13s
December 4, 2024 09:34 13s
Maintainer merge Maintainer merge #10710: submitted by Ruben-VandeVelde
December 4, 2024 09:27 18s
December 4, 2024 09:27 18s
[Merged by Bors] - perf: speedup using Submodule.restrictScalars_mem instead of relying on defeq Maintainer merge #10709: Issue comment #19711 (comment) created by riccardobrasca
December 4, 2024 09:23 14s
December 4, 2024 09:23 14s
feat(GroupTheory/GroupAction): instance MulAction (β ⧸ H) α Maintainer merge #10708: Issue comment #11212 (comment) created by YaelDillies
December 4, 2024 08:36 15s
December 4, 2024 08:36 15s
Maintainer merge Maintainer merge #10707: created by jcommelin
December 4, 2024 07:51 13s
December 4, 2024 07:51 13s
Maintainer merge Maintainer merge #10706: submitted by jcommelin
December 4, 2024 07:51 12s
December 4, 2024 07:51 12s
Maintainer merge Maintainer merge #10705: created by jcommelin
December 4, 2024 07:49 12s
December 4, 2024 07:49 12s
Maintainer merge Maintainer merge #10704: submitted by jcommelin
December 4, 2024 07:49 11s
December 4, 2024 07:49 11s
feat: add Stream'.pmap & Seq'.pmap Maintainer merge #10703: Issue comment #14401 (comment) edited by Komyyy
December 4, 2024 07:09 15s
December 4, 2024 07:09 15s
feat(Mathlib/Data/Seq/Seq): prove ∀ a ∈ (s : Sequence α), p a using coinduction Maintainer merge #10702: Issue comment #13511 (comment) edited by Komyyy
December 4, 2024 07:08 14s
December 4, 2024 07:08 14s
refactor(Mathlib/Data/Seq/Seq): make Sequence.mem_rec_on more useful Maintainer merge #10701: Issue comment #13509 (comment) edited by Komyyy
December 4, 2024 07:08 10s
December 4, 2024 07:08 10s
chore(Mathlib/Data/Seq/Seq): add cases_eliminators to Sequence.recOn Maintainer merge #10700: Issue comment #13361 (comment) edited by Komyyy
December 4, 2024 07:08 19s
December 4, 2024 07:08 19s
style(Mathlib/Data/Seq/Seq): rename Stream'.Seq to Sequence Maintainer merge #10699: Issue comment #13241 (comment) edited by Komyyy
December 4, 2024 07:08 12s
December 4, 2024 07:08 12s
refactor(Mathlib/Algebra/ContinuedFractions/*): change the definition of regular continuous fractions Maintainer merge #10698: Issue comment #13590 (comment) edited by Komyyy
December 4, 2024 07:07 11s
December 4, 2024 07:07 11s
feat: add Stream'.pmap & Seq'.pmap Maintainer merge #10697: Issue comment #14401 (comment) created by Komyyy
December 4, 2024 07:06 15s
December 4, 2024 07:06 15s
feat(Mathlib/Data/Seq/Seq): prove ∀ a ∈ (s : Sequence α), p a using coinduction Maintainer merge #10696: Issue comment #13511 (comment) created by Komyyy
December 4, 2024 07:06 11s
December 4, 2024 07:06 11s
refactor(Mathlib/Data/Seq/Seq): make Sequence.mem_rec_on more useful Maintainer merge #10695: Issue comment #13509 (comment) created by Komyyy
December 4, 2024 07:05 13s
December 4, 2024 07:05 13s
chore(Mathlib/Data/Seq/Seq): add cases_eliminators to Sequence.recOn Maintainer merge #10694: Issue comment #13361 (comment) created by Komyyy
December 4, 2024 07:05 13s
December 4, 2024 07:05 13s
refactor(Mathlib/Algebra/ContinuedFractions/*): change the definition of regular continuous fractions Maintainer merge #10693: Issue comment #13590 (comment) created by Komyyy
December 4, 2024 07:04 14s
December 4, 2024 07:04 14s
style(Mathlib/Data/Seq/Seq): rename Stream'.Seq to Sequence Maintainer merge #10692: Issue comment #13241 (comment) created by Komyyy
December 4, 2024 07:03 10s
December 4, 2024 07:03 10s
Maintainer merge Maintainer merge #10691: created by jcommelin
December 4, 2024 07:03 13s
December 4, 2024 07:03 13s
Maintainer merge Maintainer merge #10690: submitted by jcommelin
December 4, 2024 07:03 13s
December 4, 2024 07:03 13s
feat(Mathlib/Combinatorics/Nullstellensatz) : Alon's Combinatorial Nullstellensatz Maintainer merge #10689: Issue comment #16177 (comment) edited by mathlib4-dependent-issues-bot
December 4, 2024 06:40 11s
December 4, 2024 06:40 11s
[Merged by Bors] - feat(RingTheory/MvPolynomial/Groebner): division algorithm wrt monomial orders Maintainer merge #10688: Issue comment #19454 (comment) created by mathlib-bors bot
December 4, 2024 06:32 17s
December 4, 2024 06:32 17s