Label New Contributors

[Merged by Bors] - feat(RingTheory/Spectrum): upgrade `toPiLocalization` to an `AlgEquiv` #114876

Sign in to view logs

Triggered via pull request April 14, 2026 09:17

tb65536

opened #38031

Status Success

Total duration 8s

Artifacts –

label_new_contributor.yml

on: pull_request_target

label-and-report-new-contributor