Label New Contributors

[Merged by Bors] - move: Rename `GroupTheory.GroupAction.Defs` #21220

Sign in to view logs

Triggered via pull request July 16, 2024 21:38

YaelDillies

synchronize #14706

move_group_theory_group_action_def

Status Success

Total duration 15s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor