Label New Contributors

feat(RingTheory/AlgebraicIndependent): add more results on `AlgebraicIndependent` #42882

Sign in to view logs

Triggered via pull request November 5, 2024 13:41

acmepjz

synchronize #18648

acmepjz_alg_indep_4

Status Success

Total duration 15s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor