Skip to content

Actions: leanprover-community/mathlib4

Post PR summary comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
27,780 workflow runs
27,780 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
October 31, 2024 14:39 49s
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
October 31, 2024 14:38 47s
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
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
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
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
October 31, 2024 14:06 54s
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
October 31, 2024 14:05 47s
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
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
October 31, 2024 14:03 1m 1s
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
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
October 31, 2024 13:41 1m 8s