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

chore: update Mathlib dependencies 2024-10-03 Label New Contributors #35904: Pull request #17379 synchronize by mathlib4-update-dependencies-bot
October 3, 2024 21:07 12s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 3, 2024 21:07 12s
feat(ModelTheory/Complexity): define literals Label New Contributors #35903: Pull request #16885 synchronize by metinersin
October 3, 2024 21:04 16s literals
literals
October 3, 2024 21:04 16s
refactor: generalise IsLocalRingHom to monoids Label New Contributors #35902: Pull request #6045 synchronize by jjdishere
October 3, 2024 21:00 13s ericrbg/local_ring_hom
ericrbg/local_ring_hom
October 3, 2024 21:00 13s
feat: a nonarchimedean group is totally disconnected Label New Contributors #35901: Pull request #16687 synchronize by jouglasheen
October 3, 2024 20:57 13s nonarchimedean_todisco3
nonarchimedean_todisco3
October 3, 2024 20:57 13s
feat: Valuative criterion for properness. Label New Contributors #35900: Pull request #14782 synchronize by chrisflav
October 3, 2024 20:49 14s valuativeCriterion
valuativeCriterion
October 3, 2024 20:49 14s
feat(ModelTheory/Complexity): define literals Label New Contributors #35899: Pull request #16885 synchronize by metinersin
October 3, 2024 20:48 11s literals
literals
October 3, 2024 20:48 11s
feat: a nonarchimedean group is totally disconnected Label New Contributors #35898: Pull request #16687 synchronize by jouglasheen
October 3, 2024 20:44 12s nonarchimedean_todisco3
nonarchimedean_todisco3
October 3, 2024 20:44 12s
feat: a nonarchimedean group is totally disconnected Label New Contributors #35897: Pull request #16687 synchronize by jouglasheen
October 3, 2024 20:40 10s nonarchimedean_todisco3
nonarchimedean_todisco3
October 3, 2024 20:40 10s
feat(AlgebraicTopology/SimplicialSet): SimplicialSet (co)skeleton properties Label New Contributors #35896: Pull request #16781 synchronize by emilyriehl
October 3, 2024 20:29 11s simplicial_sk
simplicial_sk
October 3, 2024 20:29 11s
feat: integrals and integrability with .re Label New Contributors #35895: Pull request #17176 synchronize by arulandu
October 3, 2024 20:28 11s arulandu/integral-re
arulandu/integral-re
October 3, 2024 20:28 11s
[Merged by Bors] - chore: Rename UniformEmbedding to IsUniformEmbedding Label New Contributors #35894: Pull request #17295 synchronize by YaelDillies
October 3, 2024 20:14 27s rename_uniform_embedding
rename_uniform_embedding
October 3, 2024 20:14 27s
feat: basic results about the differentiability of the norm Label New Contributors #35893: Pull request #17150 synchronize by EtienneC30
October 3, 2024 20:09 12s em/deriv_norm
em/deriv_norm
October 3, 2024 20:09 12s
feat: Valuative criterion for properness. Label New Contributors #35892: Pull request #14782 synchronize by chrisflav
October 3, 2024 20:06 13s valuativeCriterion
valuativeCriterion
October 3, 2024 20:06 13s
chore: update Mathlib dependencies 2024-10-03 Label New Contributors #35891: Pull request #17379 synchronize by mathlib4-update-dependencies-bot
October 3, 2024 20:06 10s update-dependencies-bot-use-only
update-dependencies-bot-use-only
October 3, 2024 20:06 10s
refactor: generalise IsLocalRingHom to monoids Label New Contributors #35890: Pull request #6045 synchronize by jjdishere
October 3, 2024 20:03 10s ericrbg/local_ring_hom
ericrbg/local_ring_hom
October 3, 2024 20:03 10s
Pieter Cuijpers - first definition of Quantales Label New Contributors #35889: Pull request #17289 synchronize by PieterCuijpers
October 3, 2024 20:01 15s PieterCuijpers_Quantales
PieterCuijpers_Quantales
October 3, 2024 20:01 15s
refactor: generalise linearity of inner product Label New Contributors #35888: Pull request #17384 synchronize by YaelDillies
October 3, 2024 19:53 22s inner_smul_algebra
inner_smul_algebra
October 3, 2024 19:53 22s
feat: asymptotics lemmas Label New Contributors #35887: Pull request #17394 opened by Ruben-VandeVelde
October 3, 2024 19:51 27s EulerProducts-asymptotics
EulerProducts-asymptotics
October 3, 2024 19:51 27s
feat(ModelTheory/Complexity): define literals Label New Contributors #35886: Pull request #16885 synchronize by metinersin
October 3, 2024 19:49 13s literals
literals
October 3, 2024 19:49 13s
feat(CategoryTheory/Adjunction): the left partial adjoint Label New Contributors #35885: Pull request #17388 synchronize by joelriou
October 3, 2024 19:41 20s adjoint-definition-set
adjoint-definition-set
October 3, 2024 19:41 20s
feat(Algebra/Category/ModuleCat): pullback of presheaves of modules Label New Contributors #35884: Pull request #17366 synchronize by joelriou
October 3, 2024 19:40 20s presheaf-of-modules-pullback
presheaf-of-modules-pullback
October 3, 2024 19:40 20s
feat(CategoryTheory): codiscrete categories Label New Contributors #35883: Pull request #17174 synchronize by AlvaroRBO
October 3, 2024 19:39 12s Codiscrete
Codiscrete
October 3, 2024 19:39 12s
feat(AlgebraicGeometry): factorization of morphisms with affine target Label New Contributors #35882: Pull request #15033 synchronize by chrisflav
October 3, 2024 19:38 15s chrisflav-affine-target-fac
chrisflav-affine-target-fac
October 3, 2024 19:38 15s
refactor(LinearAlgebra/Eigenspace): unified definition of (max(gen)?)?Eigenspace Label New Contributors #35881: Pull request #16025 synchronize by jcommelin
October 3, 2024 19:34 14s jmc-eigenspace-filter
jmc-eigenspace-filter
October 3, 2024 19:34 14s
refactor: generalise IsLocalRingHom to monoids Label New Contributors #35880: Pull request #6045 synchronize by jjdishere
October 3, 2024 19:32 13s ericrbg/local_ring_hom
ericrbg/local_ring_hom
October 3, 2024 19:32 13s