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

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
Maintainer merge Maintainer merge #10689: 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
Maintainer merge Maintainer merge #10687: created by Thmoas-Guan
December 4, 2024 06:31 14s
December 4, 2024 06:31 14s
Maintainer merge Maintainer merge #10686: submitted by Thmoas-Guan
December 4, 2024 06:31 14s
December 4, 2024 06:31 14s
feat: power of product of two reflections Maintainer merge #10685: Issue comment #13270 (comment) created by mathlib4-dependent-issues-bot
December 4, 2024 06:07 15s
December 4, 2024 06:07 15s
[Merged by Bors] - feat: the Chebyshev polynomials C and S Maintainer merge #10684: Issue comment #13195 (comment) created by mathlib-bors bot
December 4, 2024 05:57 11s
December 4, 2024 05:57 11s
[Merged by Bors] - feat(RingTheory/MvPolynomial/Groebner): division algorithm wrt monomial orders Maintainer merge #10683: Issue comment #19454 (comment) created by jcommelin
December 4, 2024 05:53 11s
December 4, 2024 05:53 11s
Maintainer merge Maintainer merge #10682: submitted by jcommelin
December 4, 2024 05:49 9s
December 4, 2024 05:49 9s
Maintainer merge Maintainer merge #10681: created by jcommelin
December 4, 2024 05:47 10s
December 4, 2024 05:47 10s
Maintainer merge Maintainer merge #10680: submitted by jcommelin
December 4, 2024 05:47 13s
December 4, 2024 05:47 13s
Maintainer merge Maintainer merge #10679: submitted by jcommelin
December 4, 2024 05:46 15s
December 4, 2024 05:46 15s
Maintainer merge Maintainer merge #10678: created by jcommelin
December 4, 2024 05:46 12s
December 4, 2024 05:46 12s
[Merged by Bors] - feat(GroupTheory/Coxeter): add auxiliary lemmas for alternating words and left inverse sequences Maintainer merge #10677: Issue comment #19663 (comment) created by mathlib-bors bot
December 4, 2024 05:26 10s
December 4, 2024 05:26 10s
Maintainer merge Maintainer merge #10676: submitted by jcommelin
December 4, 2024 05:17 11s
December 4, 2024 05:17 11s