Skip to content

Actions: leanprover-community/mathlib4

Actions

Maintainer merge (comment)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maintainer_merge_comment.yml
51,928 workflow runs
51,928 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(Order/Interval/Set/Infinite): instance NoMaxOrder.infinite and NoMinOrder.infinite Maintainer merge (comment) #68210: Issue comment #18456 (comment) created by vihdzp
October 31, 2024 19:26 2s
October 31, 2024 19:26 2s
feat(AlgebraicTopology/SimplicialSet): paths and the strict segal condition Maintainer merge (comment) #68209: Issue comment #18499 (comment) created by emilyriehl
October 31, 2024 19:20 3s
October 31, 2024 19:20 3s
chore(Order/Interval/Set/Infinite): instance NoMaxOrder.infinite and NoMinOrder.infinite Maintainer merge (comment) #68208: Issue comment #18456 (comment) created by leanprover-bot
October 31, 2024 19:17 3s
October 31, 2024 19:17 3s
Feat: projective line over ℝ is homeomorphic to the one-point compactification of ℝ Maintainer merge (comment) #68207: Issue comment #18306 (comment) created by bjoernkjoshanssen
October 31, 2024 19:01 2s
October 31, 2024 19:01 2s
feat(Data/Vector): add pmap for vectors and prove some lemmas Maintainer merge (comment) #68206: Issue comment #17189 (comment) created by loefflerd
October 31, 2024 19:01 3s
October 31, 2024 19:01 3s
chore(Order/Interval/Set/Infinite): instance NoMaxOrder.infinite and NoMinOrder.infinite Maintainer merge (comment) #68205: Issue comment #18456 (comment) created by vihdzp
October 31, 2024 18:51 2s
October 31, 2024 18:51 2s
feat(CategoryTheory/Sites): some API for the Yoneda embedding into sheaf categories Maintainer merge (comment) #68204: Issue comment #18185 (comment) created by mathlib4-dependent-issues-bot
October 31, 2024 18:48 2s
October 31, 2024 18:48 2s
feat(Condensed): a sequential limit of epimorphisms in light condensed modules is epimorphic Maintainer merge (comment) #68203: Issue comment #18336 (comment) edited by mathlib4-dependent-issues-bot
October 31, 2024 18:48 2s
October 31, 2024 18:48 2s
[Merged by Bors] - chore(CategoryTheory/Sites): make Subcanonical a class Maintainer merge (comment) #68202: Issue comment #18186 (comment) created by mathlib-bors bot
October 31, 2024 18:47 3s
October 31, 2024 18:47 3s
[Merged by Bors] - chore(CategoryTheory/Sites): make Subcanonical a class Maintainer merge (comment) #68201: Issue comment #18186 (comment) created by joelriou
October 31, 2024 18:38 2s
October 31, 2024 18:38 2s
divRadical for polynomials Maintainer merge (comment) #68200: Issue comment #18452 (comment) created by mathlib4-dependent-issues-bot
October 31, 2024 18:36 2s
October 31, 2024 18:36 2s
[Merged by Bors] - feat: dividing an element of a euclidean domain by its radical Maintainer merge (comment) #68199: Issue comment #18449 (comment) created by mathlib-bors bot
October 31, 2024 18:25 2s
October 31, 2024 18:25 2s
[Merged by Bors] - feat: dividing an element of a euclidean domain by its radical Maintainer merge (comment) #68198: Issue comment #18449 (comment) created by seewoo5
October 31, 2024 18:17 2s
October 31, 2024 18:17 2s
fix: make extend_docs always persist new docstrings across imports Maintainer merge (comment) #68197: Issue comment #17043 (comment) created by kmill
October 31, 2024 17:45 2s
October 31, 2024 17:45 2s
fix: make extend_docs always persist new docstrings across imports Maintainer merge (comment) #68196: Issue comment #17043 (comment) created by adomani
October 31, 2024 17:27 19s
October 31, 2024 17:27 19s
[Merged by Bors] - chore(GroupCohomology/LowDegree): add mem_(one|two)Coboundaries_iff Maintainer merge (comment) #68195: Issue comment #17934 (comment) created by mathlib-bors bot
October 31, 2024 17:25 3s
October 31, 2024 17:25 3s
[Merged by Bors] - chore(GroupCohomology/LowDegree): add mem_(one|two)Coboundaries_iff Maintainer merge (comment) #68194: Issue comment #17934 (comment) created by yu-yama
October 31, 2024 17:15 3s
October 31, 2024 17:15 3s
feat(Data/Vector): add pmap for vectors and prove some lemmas Maintainer merge (comment) #68193: Issue comment #17189 (comment) edited by Command-Master
October 31, 2024 17:12 2s
October 31, 2024 17:12 2s
feat(Algebra/Group/Pointwise/Set): more gcongr lemmas Maintainer merge (comment) #68192: Issue comment #17653 (comment) created by hrmacbeth
October 31, 2024 17:04 2s
October 31, 2024 17:04 2s
feat(Data/Vector): add pmap for vectors and prove some lemmas Maintainer merge (comment) #68191: Issue comment #17189 (comment) created by Command-Master
October 31, 2024 16:48 2s
October 31, 2024 16:48 2s
feat(RingTheory/Localization/FractionRing): Lifting AlgEquivs to the field of fractions Maintainer merge (comment) #68190: Issue comment #17753 (comment) created by erdOne
October 31, 2024 16:47 22s
October 31, 2024 16:47 22s
feat(RingTheory/Valuation): PreValuationRing: without IsDomain R on the prop ValuationRing R Maintainer merge (comment) #68189: Issue comment #17634 (comment) created by erdOne
October 31, 2024 16:44 26s
October 31, 2024 16:44 26s
feat(RingTheory/Valuation): valuation integers ring is a Principal Ideal ring iff the valuation range is not densely ordered Maintainer merge (comment) #68188: Issue comment #16619 (comment) edited by mathlib4-dependent-issues-bot
October 31, 2024 16:37 1s
October 31, 2024 16:37 1s
feat(Data/NNRat/Defs): add qify_simps lemmas Maintainer merge (comment) #68187: Issue comment #17259 (comment) created by loefflerd
October 31, 2024 16:36 25s
October 31, 2024 16:36 25s
feat(RingTheory/Derivation/Basic): define lifting a derivation via an algebra homomorphism Maintainer merge (comment) #68186: Issue comment #16792 (comment) created by Command-Master
October 31, 2024 16:36 2s
October 31, 2024 16:36 2s