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(Condensed): light condensed abelian groups satisfy countable AB4* Post PR summary comment #27773: Pull request #18497 opened by dagurtomas
October 31, 2024 15:31 49s dagur/LightCondensedCountableAB4star
dagur/LightCondensedCountableAB4star
October 31, 2024 15:31 49s
feat(Order/Interval/Finset/Defs): transfer LocallyFiniteOrder Post PR summary comment #27772: Pull request #18479 synchronize by pechersky
October 31, 2024 15:30 49s pechersky/locally-finite-order-transfer
pechersky/locally-finite-order-transfer
October 31, 2024 15:30 49s
chore: more unused variables Post PR summary comment #27771: Pull request #18496 opened by adomani
October 31, 2024 15:13 47s adomani/more_removed_variables_i
adomani/more_removed_variables_i
October 31, 2024 15:13 47s
feat(Combinatorics/SimpleGraph/Clique): add clique number Post PR summary comment #27770: Pull request #18446 synchronize by ooovi
October 31, 2024 15:00 53s feat-clique-number
feat-clique-number
October 31, 2024 15:00 53s
feat(NumberTheory/LSeries/QuadraticNonvanishing): new file Post PR summary comment #27769: Pull request #18302 synchronize by MichaelStollBayreuth
October 31, 2024 14:58 55s MS_quadratic_nonvanishing
MS_quadratic_nonvanishing
October 31, 2024 14:58 55s
feat: totally unimodular matrices Post PR summary comment #27768: Pull request #18495 synchronize by madvorak
October 31, 2024 14:54 56s mdv-tu
mdv-tu
October 31, 2024 14:54 56s
fix: make sure that a MeasurableSpace instance uses Discreteness Post PR summary comment #27767: Pull request #18494 synchronize by adomani
October 31, 2024 14:51 56s adomani/used_unused_variables
adomani/used_unused_variables
October 31, 2024 14:51 56s
feat: totally unimodular matrices Post PR summary comment #27766: Pull request #18495 synchronize by madvorak
October 31, 2024 14:50 46s mdv-tu
mdv-tu
October 31, 2024 14:50 46s
feat: totally unimodular matrices Post PR summary comment #27765: Pull request #18495 opened by madvorak
October 31, 2024 14:49 46s mdv-tu
mdv-tu
October 31, 2024 14:49 46s
feat(FieldTheory/Galois): Galois group is profinite Post PR summary comment #27764: Pull request #16993 synchronize by Thmoas-Guan
October 31, 2024 14:39 49s Galois-group-is-profinite
Galois-group-is-profinite
October 31, 2024 14:39 49s
feat(Topology/Group/Profinite): Profinite group is limit of finite group Post PR summary comment #27763: Pull request #16992 synchronize by Thmoas-Guan
October 31, 2024 14:38 47s profinite-group-is-limit-of-finite-group
profinite-group-is-limit-of-finite-group
October 31, 2024 14:38 47s
feat(Topology/Group): Continuous isomorphism Post PR summary comment #27762: Pull request #16991 synchronize by Thmoas-Guan
October 31, 2024 14:38 47s continuous-isomorphism
continuous-isomorphism
October 31, 2024 14:38 47s
fix: make sure that a MeasurableSpace instance uses Discreteness Post PR summary comment #27761: Pull request #18494 opened by adomani
October 31, 2024 14:25 50s adomani/used_unused_variables
adomani/used_unused_variables
October 31, 2024 14:25 50s
perf: decouple algebraic and order hierarchies in type class search Post PR summary comment #27760: Pull request #12778 synchronize by MichaelStollBayreuth
October 31, 2024 14:14 59s MS_tc_order_algebra
MS_tc_order_algebra
October 31, 2024 14:14 59s
feat(CategoryTheory): Colimits on the Grothendieck construction Post PR summary comment #27759: Pull request #18442 synchronize by javra
October 31, 2024 14:08 48s fme-141
fme-141
October 31, 2024 14:08 48s
feat(Algebra): Submodule R A is algebra over Ideal A Post PR summary comment #27758: Pull request #18493 synchronize by alreadydone
October 31, 2024 14:07 48s Algebra_Ideal_Submodule
Algebra_Ideal_Submodule
October 31, 2024 14:07 48s
feat(Algebra): Submodule R A is algebra over Ideal A Post PR summary comment #27757: Pull request #18493 opened by alreadydone
October 31, 2024 14:06 54s Algebra_Ideal_Submodule
Algebra_Ideal_Submodule
October 31, 2024 14:06 54s
feat(GroupTheory/Congruence): add simp lemmas for comap equivalences Post PR summary comment #27756: Pull request #17195 synchronize by hannahfechtner
October 31, 2024 14:06 49s hannahfechtner_congruence_additions
hannahfechtner_congruence_additions
October 31, 2024 14:06 49s
feat(FieldTheory/Galois): Galois group is profinite Post PR summary comment #27755: Pull request #16993 synchronize by Thmoas-Guan
October 31, 2024 14:05 47s Galois-group-is-profinite
Galois-group-is-profinite
October 31, 2024 14:05 47s
feat(FieldTheory/Galois): Fundamental theorem of infinite galois theory Post PR summary comment #27754: Pull request #16982 synchronize by Thmoas-Guan
October 31, 2024 14:05 1m 1s Fundamental-Theorem-of-Infinite-Galois-Theory
Fundamental-Theorem-of-Infinite-Galois-Theory
October 31, 2024 14:05 1m 1s
feat(FieldTheory/Galois): Lemmas of galois theory Post PR summary comment #27753: Pull request #16979 synchronize by Thmoas-Guan
October 31, 2024 14:04 48s lemmas-of-Galois-theory
lemmas-of-Galois-theory
October 31, 2024 14:04 48s
feat(Topology/Group): Continuous isomorphism Post PR summary comment #27752: Pull request #16991 synchronize by Thmoas-Guan
October 31, 2024 14:03 1m 1s continuous-isomorphism
continuous-isomorphism
October 31, 2024 14:03 1m 1s
feat(Topology/Group/Profinite): Profinite group is limit of finite group Post PR summary comment #27751: Pull request #16992 synchronize by Thmoas-Guan
October 31, 2024 14:01 48s profinite-group-is-limit-of-finite-group
profinite-group-is-limit-of-finite-group
October 31, 2024 14:01 48s
feat(CategoryTheory): Colimits on the Grothendieck construction Post PR summary comment #27750: Pull request #18442 synchronize by javra
October 31, 2024 13:48 46s fme-141
fme-141
October 31, 2024 13:48 46s
feat(CategoryTheory): Colimits on the Grothendieck construction Post PR summary comment #27749: Pull request #18442 synchronize by javra
October 31, 2024 13:41 1m 8s fme-141
fme-141
October 31, 2024 13:41 1m 8s