Skip to content

Actions: leanprover-community/mathlib4

Actions

Post PR summary comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PR_summary.yml
27,780 workflow runs
27,780 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
SG_faa1
October 31, 2024 17:25 50s
feat(RingTheory/Valuation): valuation integers ring is a Principal Ideal ring iff the valuation range is not densely ordered Post PR summary comment #27797: Pull request #16619 synchronize by pechersky
October 31, 2024 17:17 56s pechersky/valuation-integers-PIring
pechersky/valuation-integers-PIring
October 31, 2024 17:17 56s
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
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
CM_vec
October 31, 2024 17:07 57s
[Merged by Bors] - chore(GroupCohomology/LowDegree): add mem_(one|two)Coboundaries_iff Post PR summary comment #27794: Pull request #17934 synchronize by yu-yama
October 31, 2024 17:06 50s yu-yama/mem-coboundaries
yu-yama/mem-coboundaries
October 31, 2024 17:06 50s
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
CM_vec
October 31, 2024 17:00 47s
feat: add Dockerfiles for lean and mathlib Post PR summary comment #27792: Pull request #15936 synchronize by zeramorphic
October 31, 2024 16:57 54s update-dockerfiles
update-dockerfiles
October 31, 2024 16:57 54s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Post PR summary comment #27791: Pull request #17195 synchronize by hannahfechtner
October 31, 2024 16:56 48s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 31, 2024 16:56 48s
feat(CategoryTheory): Colimits on the Grothendieck construction Post PR summary comment #27790: Pull request #18442 synchronize by javra
October 31, 2024 16:55 47s fme-141
fme-141
October 31, 2024 16:55 47s
feat: add Dockerfiles for lean and mathlib Post PR summary comment #27789: Pull request #15936 synchronize by zeramorphic
October 31, 2024 16:49 48s update-dockerfiles
update-dockerfiles
October 31, 2024 16:49 48s
feat(CategoryTheory): Colimits on the Grothendieck construction Post PR summary comment #27788: Pull request #18442 synchronize by javra
October 31, 2024 16:49 50s fme-141
fme-141
October 31, 2024 16:49 50s
feat(AlgebraicTopology/Nerve): nerve is 2-coskeletal Post PR summary comment #27787: Pull request #16782 synchronize by emilyriehl
October 31, 2024 16:48 49s nerve2
nerve2
October 31, 2024 16:48 49s
feat(CategoryTheory): Colimits on the Grothendieck construction Post PR summary comment #27786: Pull request #18442 synchronize by javra
October 31, 2024 16:42 53s fme-141
fme-141
October 31, 2024 16:42 53s
feat(RingTheory/Valuation): valuation integers ring is a Principal Ideal ring iff the valuation range is not densely ordered Post PR summary comment #27785: Pull request #16619 synchronize by pechersky
October 31, 2024 16:35 53s pechersky/valuation-integers-PIring
pechersky/valuation-integers-PIring
October 31, 2024 16:35 53s
feat: define IsLittleOTVS Post PR summary comment #27784: Pull request #9675 synchronize by urkud
October 31, 2024 16:34 55s YK-isO-TVS
YK-isO-TVS
October 31, 2024 16:34 55s
RFC chore: do not import Tactic.Common in Mathlib Post PR summary comment #27783: Pull request #18498 synchronize by Vierkantor
October 31, 2024 16:32 48s unimport-Tactic.Common
unimport-Tactic.Common
October 31, 2024 16:32 48s
feat(Sym2): Add pmap Post PR summary comment #27782: Pull request #16557 synchronize by Jun2M
October 31, 2024 16:32 48s Jun2M-Sym2.pmap
Jun2M-Sym2.pmap
October 31, 2024 16:32 48s
feat(RingTheory/Valuation): valuation integers ring is a Principal Ideal ring iff the valuation range is not densely ordered Post PR summary comment #27781: Pull request #16619 synchronize by pechersky
October 31, 2024 16:23 52s pechersky/valuation-integers-PIring
pechersky/valuation-integers-PIring
October 31, 2024 16:23 52s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Post PR summary comment #27780: Pull request #17195 synchronize by hannahfechtner
October 31, 2024 16:15 48s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 31, 2024 16:15 48s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Post PR summary comment #27779: Pull request #17195 synchronize by hannahfechtner
October 31, 2024 16:14 59s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 31, 2024 16:14 59s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Post PR summary comment #27778: Pull request #17195 synchronize by hannahfechtner
October 31, 2024 16:14 48s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 31, 2024 16:14 48s
RFC chore: do not import Tactic.Common in Mathlib Post PR summary comment #27777: Pull request #18498 synchronize by Vierkantor
October 31, 2024 16:05 54s unimport-Tactic.Common
unimport-Tactic.Common
October 31, 2024 16:05 54s
feat: define IsLittleOTVS Post PR summary comment #27776: Pull request #9675 synchronize by urkud
October 31, 2024 16:03 48s YK-isO-TVS
YK-isO-TVS
October 31, 2024 16:03 48s
feat(Sym2): Add pmap Post PR summary comment #27775: Pull request #16557 synchronize by Jun2M
October 31, 2024 16:00 50s Jun2M-Sym2.pmap
Jun2M-Sym2.pmap
October 31, 2024 16:00 50s
RFC chore: do not import Tactic.Common in Mathlib Post PR summary comment #27774: Pull request #18498 opened by Vierkantor
October 31, 2024 15:34 47s unimport-Tactic.Common
unimport-Tactic.Common
October 31, 2024 15:34 47s