Label New Contributors

[Merged by Bors] - feat(Algebra/Group/TypeTags): Add `toMul_eq_one` and `toAdd_eq_zero` #17134

Sign in to view logs

Triggered via pull request June 24, 2024 16:18

wupr

opened #14097

toadd-eq-zero

Status Success

Total duration 13s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor