Label New Contributors

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

Sign in to view logs

Triggered via pull request November 5, 2024 14:30

acmepjz

synchronize #18648

acmepjz_alg_indep_4

Status Success

Total duration 10s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor