Skip to content

Actions: leanprover-community/mathlib4

Post PR summary comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
27,774 workflow runs
27,774 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(AlgebraicTopology/SimplicialSet): paths and the strict segal condition
Post PR summary comment #27816: Pull request #18499 opened by emilyriehl
October 31, 2024 19:13 1m 0s SimplicialPath
October 31, 2024 19:13 1m 0s
feat(RingTheory/Derivation/Basic): define lifting a derivation via an algebra homomorphism
Post PR summary comment #27815: Pull request #16792 synchronize by Command-Master
October 31, 2024 19:12 49s CM_derivlift
October 31, 2024 19:12 49s
feat(RingTheory/Localization/FractionRing): Lifting AlgEquivs to the field of fractions
Post PR summary comment #27814: Pull request #17753 synchronize by tb65536
October 31, 2024 19:08 52s tb_fraction
October 31, 2024 19:08 52s
feat(NumberTheory/Padics): Mahler basis functions
Post PR summary comment #27813: Pull request #18335 synchronize by loefflerd
October 31, 2024 19:06 47s DL_mahler_basis_def
October 31, 2024 19:06 47s
feat(NumberTheory/Padics): Mahler basis functions
Post PR summary comment #27812: Pull request #18335 synchronize by loefflerd
October 31, 2024 19:03 46s DL_mahler_basis_def
October 31, 2024 19:03 46s
chore(Order/Interval/Set/Infinite): instance NoMaxOrder.infinite and NoMinOrder.infinite
Post PR summary comment #27811: Pull request #18456 synchronize by vihdzp
October 31, 2024 18:51 47s vi.infinite
October 31, 2024 18:51 47s
chore(Order/Interval/Set/Infinite): instance NoMaxOrder.infinite and NoMinOrder.infinite
Post PR summary comment #27810: Pull request #18456 synchronize by vihdzp
October 31, 2024 18:51 52s vi.infinite
October 31, 2024 18:51 52s
feat(CategoryTheory): codiscrete categories
Post PR summary comment #27805: Pull request #17174 synchronize by AlvaroRBO
October 31, 2024 18:19 1m 9s Codiscrete
October 31, 2024 18:19 1m 9s
feat(CategoryTheory): codiscrete categories
Post PR summary comment #27804: Pull request #17174 synchronize by AlvaroRBO
October 31, 2024 18:18 1m 7s Codiscrete
October 31, 2024 18:18 1m 7s
[Merged by Bors] - feat: dividing an element of a euclidean domain by its radical
Post PR summary comment #27803: Pull request #18449 synchronize by seewoo5
October 31, 2024 18:01 49s feature/divradical-ed
October 31, 2024 18:01 49s
[Merged by Bors] - feat: dividing an element of a euclidean domain by its radical
Post PR summary comment #27802: Pull request #18449 synchronize by seewoo5
October 31, 2024 17:51 49s feature/divradical-ed
October 31, 2024 17:51 49s
chore: more unused variables
Post PR summary comment #27800: Pull request #18496 synchronize by adomani
October 31, 2024 17:39 47s adomani/more_removed_variables_i
October 31, 2024 17:39 47s
feat: some more results on transcendental and algebraically independent
Post PR summary comment #27799: Pull request #18433 synchronize by acmepjz
October 31, 2024 17:29 53s acmepjz_alg_indep_3
October 31, 2024 17:29 53s
feat: combinatorial part of the Faa di Bruno formula
Post PR summary comment #27798: Pull request #17169 synchronize by sgouezel
October 31, 2024 17:25 50s SG_faa1
October 31, 2024 17:25 50s
fix: make extend_docs always persist new docstrings across imports
Post PR summary comment #27796: Pull request #17043 synchronize by adomani
October 31, 2024 17:07 1m 0s extend_docs-persist-fix
October 31, 2024 17:07 1m 0s
feat(Data/Vector): add pmap for vectors and prove some lemmas
Post PR summary comment #27795: Pull request #17189 synchronize by Command-Master
October 31, 2024 17:07 57s CM_vec
October 31, 2024 17:07 57s
feat(Data/Vector): add pmap for vectors and prove some lemmas
Post PR summary comment #27793: Pull request #17189 synchronize by Command-Master
October 31, 2024 17:00 47s CM_vec
October 31, 2024 17:00 47s