Skip to content

Actions: leanprover-community/mathlib4

Actions

Label New Contributors

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
label_new_contributor.yml
35,867 workflow runs
35,867 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: a nonarchimedean group is totally disconnected Label New Contributors #35829: Pull request #16687 synchronize by jouglasheen
October 3, 2024 16:23 12s nonarchimedean_todisco3
nonarchimedean_todisco3
October 3, 2024 16:23 12s
[Merged by Bors] - chore: three cdots Label New Contributors #35828: Pull request #17385 opened by adomani
October 3, 2024 16:09 21s adomani/more_cdots
adomani/more_cdots
October 3, 2024 16:09 21s
chore: update Mathlib dependencies 2024-10-03 Label New Contributors #35827: Pull request #17379 synchronize by mathlib4-update-dependencies-bot
October 3, 2024 16:06 10s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 3, 2024 16:06 10s
feat: the multiGoal linter Label New Contributors #35826: Pull request #12339 synchronize by adomani
October 3, 2024 15:57 19s adomani/lint_multiple_goals
adomani/lint_multiple_goals
October 3, 2024 15:57 19s
feat: add Decidable linter Label New Contributors #35825: Pull request #10235 synchronize by urkud
October 3, 2024 15:56 41s YK-dec-lint
YK-dec-lint
October 3, 2024 15:56 41s
feat: compare PR oleans size with master Label New Contributors #35824: Pull request #16020 synchronize by adomani
October 3, 2024 15:50 18s adomani/CI_olean_size
adomani/CI_olean_size
October 3, 2024 15:50 18s
feat(Topology): set of generic points of generic components Label New Contributors #35823: Pull request #15407 synchronize by erdOne
October 3, 2024 15:48 13s erd1/genericPoints
erd1/genericPoints
October 3, 2024 15:48 13s
feat(CategoryTheory): codiscrete categories Label New Contributors #35822: Pull request #17174 synchronize by AlvaroRBO
October 3, 2024 15:45 12s Codiscrete
Codiscrete
October 3, 2024 15:45 12s
feat: define IsLittleOTVS Label New Contributors #35821: Pull request #9675 synchronize by urkud
October 3, 2024 15:36 33s YK-isO-TVS
YK-isO-TVS
October 3, 2024 15:36 33s
refactor: generalise linearity of inner product Label New Contributors #35820: Pull request #17384 synchronize by YaelDillies
October 3, 2024 15:34 26s inner_smul_algebra
inner_smul_algebra
October 3, 2024 15:34 26s
refactor: generalise linearity of inner product Label New Contributors #35819: Pull request #17384 opened by YaelDillies
October 3, 2024 15:31 22s inner_smul_algebra
inner_smul_algebra
October 3, 2024 15:31 22s
[Merged by Bors] - feat(AlgebraicGeometry): Residue fields of schemes. Label New Contributors #35818: Pull request #15333 synchronize by erdOne
October 3, 2024 15:28 10s erd1/residueField
erd1/residueField
October 3, 2024 15:28 10s
[Merged by Bors] - feat(RingTheory/Unramified): Classification of unramifield field extensions. Label New Contributors #35817: Pull request #15123 synchronize by erdOne
October 3, 2024 15:26 16s erd1/fieldUnramified
erd1/fieldUnramified
October 3, 2024 15:26 16s
feat(CategoryTheory): lemmas about descOfIsLeftKanExtension for pointwise left Kan extensions (+dual) Label New Contributors #35816: Pull request #17383 opened by dagurtomas
October 3, 2024 15:24 16s dagur/PointwiseKanLemmas
dagur/PointwiseKanLemmas
October 3, 2024 15:24 16s
feat: L2 inner product of finite sequences Label New Contributors #35815: Pull request #16447 synchronize by YaelDillies
October 3, 2024 15:24 24s dl2inner
dl2inner
October 3, 2024 15:24 24s
[Merged by Bors] - feat(Topology/Group): drop an unneeded assumption Label New Contributors #35814: Pull request #16551 synchronize by urkud
October 3, 2024 15:20 36s YK-isopenquotmap-grp
YK-isopenquotmap-grp
October 3, 2024 15:20 36s
[Merged by Bors] - refactor(AlgebraicGeometry): Introduce Scheme.toSpecΓ Label New Contributors #35813: Pull request #15082 synchronize by erdOne
October 3, 2024 15:20 12s erd1/toSpecGamma
erd1/toSpecGamma
October 3, 2024 15:20 12s
feat: ring-based prover for certain inequalities in semirings Label New Contributors #35812: Pull request #16840 synchronize by hrmacbeth
October 3, 2024 15:19 16s HM-ring-compare
HM-ring-compare
October 3, 2024 15:19 16s
[Merged by Bors] - feat(RingTheory/Unramified): Formally unramified product of rings Label New Contributors #35811: Pull request #15141 synchronize by erdOne
October 3, 2024 15:18 12s erd1/unramifiedPi
erd1/unramifiedPi
October 3, 2024 15:18 12s
[Merged by Bors] - feat(RingTheory/Unramified): Classification of unramifield field extensions. Label New Contributors #35810: Pull request #15123 synchronize by erdOne
October 3, 2024 15:18 15s erd1/fieldUnramified
erd1/fieldUnramified
October 3, 2024 15:18 15s
chore(Galois/Basic): Fintype → Finite Label New Contributors #35809: Pull request #17382 opened by urkud
October 3, 2024 15:17 1m 24s YK-galois-dec
YK-galois-dec
October 3, 2024 15:17 1m 24s
chore(CompHausLike): add constant morphisms Label New Contributors #35808: Pull request #17381 opened by dagurtomas
October 3, 2024 15:16 19s dagur/CompHausLikeConst
dagur/CompHausLikeConst
October 3, 2024 15:16 19s
[Merged by Bors] - refactor(AlgebraicGeometry): Introduce Scheme.toSpecΓ Label New Contributors #35807: Pull request #15082 synchronize by erdOne
October 3, 2024 15:16 17s erd1/toSpecGamma
erd1/toSpecGamma
October 3, 2024 15:16 17s
chore(Profinite): add Fintype instances Label New Contributors #35806: Pull request #17380 opened by dagurtomas
October 3, 2024 15:16 18s dagur/ProfiniteInstances
dagur/ProfiniteInstances
October 3, 2024 15:16 18s
feat: add Decidable linter Label New Contributors #35805: Pull request #10235 synchronize by urkud
October 3, 2024 15:12 43s YK-dec-lint
YK-dec-lint
October 3, 2024 15:12 43s