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
26,977 workflow runs
26,977 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Merged by Bors] - feat: add by how many modules imports grew Post PR summary comment #26845: Pull request #18303 synchronize by adomani
October 28, 2024 07:34 48s adomani/minImport_increase_by
adomani/minImport_increase_by
October 28, 2024 07:34 48s
feat(Analysis): integer complement in ℂ Post PR summary comment #26844: Pull request #16542 synchronize by CBirkbeck
October 28, 2024 07:33 47s complex_minus_Z
complex_minus_Z
October 28, 2024 07:33 47s
feature(Analysis/Convex/Topology): convex closed hull Post PR summary comment #26843: Pull request #17983 synchronize by mans0954
October 28, 2024 07:31 49s mans0954/convexClosedHull
mans0954/convexClosedHull
October 28, 2024 07:31 49s
[Merged by Bors] - chore: Rename Embedding to IsEmbedding Post PR summary comment #26842: Pull request #18133 synchronize by YaelDillies
October 28, 2024 07:23 48s rename_embedding
rename_embedding
October 28, 2024 07:23 48s
[Merged by Bors] - feat: ZMod-module lemmas Post PR summary comment #26841: Pull request #17693 synchronize by YaelDillies
October 28, 2024 07:21 46s zmod_module
zmod_module
October 28, 2024 07:21 46s
[Merged by Bors] - feat: ZMod-module lemmas Post PR summary comment #26840: Pull request #17693 synchronize by YaelDillies
October 28, 2024 07:17 52s zmod_module
zmod_module
October 28, 2024 07:17 52s
feat(Analysis/Normed/Module/WeakDual): Banach Dieudonné Lemma Post PR summary comment #26839: Pull request #16316 synchronize by mans0954
October 28, 2024 07:15 51s mans0954/Banach-Dieudonne-lemma
mans0954/Banach-Dieudonne-lemma
October 28, 2024 07:15 51s
[Merged by Bors] - feat: EReal.forall, EReal.exists Post PR summary comment #26838: Pull request #18301 synchronize by YaelDillies
October 28, 2024 07:05 1m 17s ereal_forall
ereal_forall
October 28, 2024 07:05 1m 17s
[Merged by Bors] - feat(Algebra/Module): presentation of modules Post PR summary comment #26837: Pull request #18295 synchronize by joelriou
October 28, 2024 07:03 47s unbundled-module-presentation
unbundled-module-presentation
October 28, 2024 07:03 47s
feat: sufficient condition for a presheaf to preserve finite limits Post PR summary comment #26836: Pull request #18283 synchronize by TwoFX
October 28, 2024 06:39 50s finite-colimits-of-filtered
finite-colimits-of-filtered
October 28, 2024 06:39 50s
feat(AlgebraicGeometry): typeclasses for S-schemes Post PR summary comment #26835: Pull request #18321 synchronize by erdOne
October 28, 2024 06:13 1m 7s erd1/overScheme
erd1/overScheme
October 28, 2024 06:13 1m 7s
[Merged by Bors] - feat(RingTheory/LinearDisjoint): definition and properties of linearly disjoint of subalgebras (1) Post PR summary comment #26834: Pull request #17820 synchronize by acmepjz
October 28, 2024 06:09 54s acmepjz_lin_disj_subalg_1
acmepjz_lin_disj_subalg_1
October 28, 2024 06:09 54s
feat: positive contractions in a C⋆-algebra form a directed set Post PR summary comment #26833: Pull request #18016 synchronize by j-loreaux
October 28, 2024 05:59 55s j-loreaux/contraction-directed
j-loreaux/contraction-directed
October 28, 2024 05:59 55s
feat(AlgebraicGeometry): typeclasses for S-schemes Post PR summary comment #26832: Pull request #18321 opened by erdOne
October 28, 2024 05:46 45s erd1/overScheme
erd1/overScheme
October 28, 2024 05:46 45s
[Merged by Bors] - chore: cleanup skipAssignedInstances flags Post PR summary comment #26831: Pull request #18320 opened by kim-em
October 28, 2024 05:41 45s skipassigned
skipassigned
October 28, 2024 05:41 45s
[Merged by Bors] - chore: remove some no-longer-needed backwards compatibility flags Post PR summary comment #26830: Pull request #18319 opened by kim-em
October 28, 2024 05:26 46s rm_backwards
rm_backwards
October 28, 2024 05:26 46s
[Merged by Bors] - chore: split Data.Set.Basic Post PR summary comment #26829: Pull request #18317 synchronize by kim-em
October 28, 2024 05:17 44s symmdiff
symmdiff
October 28, 2024 05:17 44s
feat(Wiedijk100Theorems): roots of a quartic Post PR summary comment #26828: Pull request #18290 synchronize by hanwenzhu
October 28, 2024 05:12 47s hanwenzhu/quartic
hanwenzhu/quartic
October 28, 2024 05:12 47s
[Merged by Bors] - chore(Wiedijk100Theorems): clean up SolutionToCubic Post PR summary comment #26827: Pull request #18299 synchronize by hanwenzhu
October 28, 2024 05:09 46s hanwenzhu/cubic-refactor
hanwenzhu/cubic-refactor
October 28, 2024 05:09 46s
feat: positive contractions in a C⋆-algebra form a directed set Post PR summary comment #26826: Pull request #18016 synchronize by j-loreaux
October 28, 2024 04:58 46s j-loreaux/contraction-directed
j-loreaux/contraction-directed
October 28, 2024 04:58 46s
feat: positive contractions in a C⋆-algebra form a directed set Post PR summary comment #26825: Pull request #18016 synchronize by j-loreaux
October 28, 2024 04:55 47s j-loreaux/contraction-directed
j-loreaux/contraction-directed
October 28, 2024 04:55 47s
chore(Filter/Prod): drop Filter.prod, use SProd instead Post PR summary comment #26824: Pull request #18315 synchronize by urkud
October 28, 2024 04:48 46s YK-filter-prod-def
YK-filter-prod-def
October 28, 2024 04:48 46s
feat: the positive and negative parts of a selfadjoint element in a C⋆-algebra are unique Post PR summary comment #26823: Pull request #18138 synchronize by j-loreaux
October 28, 2024 04:40 47s j-loreaux/cfc-posPart-unique
j-loreaux/cfc-posPart-unique
October 28, 2024 04:40 47s
feat: define ApproximateUnit and basic API Post PR summary comment #26822: Pull request #17787 synchronize by j-loreaux
October 28, 2024 04:27 45s j-loreaux/approximate-unit
j-loreaux/approximate-unit
October 28, 2024 04:27 45s
refactor(LinearAlgebra/BilinearForm/TensorProduct): Tensor products of bilinear maps Post PR summary comment #26821: Pull request #14988 synchronize by mans0954
October 28, 2024 04:27 57s mans0954/tensorDistrib
mans0954/tensorDistrib
October 28, 2024 04:27 57s