Skip to content

Actions: leanprover-community/mathlib4

Maintainer merge (comment)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
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(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