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
48,768 workflow runs
48,768 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(CategoryTheory): retracts of objects and morphisms Label New Contributors #48831: Pull request #19233 synchronize by mckoen
December 3, 2024 23:38 14s mckoen/retract
mckoen/retract
December 3, 2024 23:38 14s
feat(CategoryTheory): retracts of objects and morphisms Label New Contributors #48830: Pull request #19233 synchronize by mckoen
December 3, 2024 23:23 14s mckoen/retract
mckoen/retract
December 3, 2024 23:23 14s
WiP disjoint_of_not_and_on_set Label New Contributors #48829: Pull request #19712 opened by mans0954
December 3, 2024 23:10 10s mans0954/sum_disjoint_filters
mans0954/sum_disjoint_filters
December 3, 2024 23:10 10s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48828: Pull request #19667 synchronize by fbarroero
December 3, 2024 23:06 15s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 23:06 15s
feat(LinearAlgebra/QuadraticForm/Basis): Free Tensor product of Quadratic Maps Label New Contributors #48827: Pull request #19432 synchronize by mans0954
December 3, 2024 22:55 12s mans0954/quadratic-tensor-product
mans0954/quadratic-tensor-product
December 3, 2024 22:55 12s
feat(LinearAlgebra/QuadraticForm/Basis): Free Tensor product of Quadratic Maps Label New Contributors #48826: Pull request #19432 synchronize by mans0954
December 3, 2024 22:32 15s mans0954/quadratic-tensor-product
mans0954/quadratic-tensor-product
December 3, 2024 22:32 15s
feat(Logic/Basic): xor_iff_or_and_not_and Label New Contributors #48825: Pull request #19703 synchronize by mans0954
December 3, 2024 22:27 15s mans0954/xor
mans0954/xor
December 3, 2024 22:27 15s
perf: speedup using Submodule.restrictScalars_mem instead of relying on defeq Label New Contributors #48824: Pull request #19711 opened by alreadydone
December 3, 2024 21:48 13s restrictScalars_speedup
restrictScalars_speedup
December 3, 2024 21:48 13s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48823: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:46 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:46 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48822: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:39 13s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:39 13s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48821: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:39 9s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:39 9s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48820: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:39 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:39 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48819: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:38 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:38 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48818: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:38 10s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:38 10s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48817: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:37 10s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:37 10s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48816: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:36 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:36 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48815: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:36 15s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:36 15s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48814: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:34 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:34 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48813: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:34 12s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:34 12s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48812: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:29 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:29 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48811: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:29 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:29 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48810: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:28 10s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:28 10s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48809: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:28 10s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:28 10s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48808: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:26 11s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:26 11s
feat(NumberTheory/NumberField/FinitePlaces): the finite places of a number field Label New Contributors #48807: Pull request #19667 synchronize by fbarroero
December 3, 2024 21:26 10s fbarroero_finitePlaces
fbarroero_finitePlaces
December 3, 2024 21:26 10s