Label New Contributors

feat(RingTheory/GradedAlgebra): define homogeneous submodule #57619

Sign in to view logs

Triggered via pull request January 31, 2025 01:47

jjaassoonn

synchronize #18728

zjj/homogenousSubmodule'

Status Success

Total duration 11s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor