Label New Contributors

[Merged by Bors] - chore(CategoryTheory): add reassoc tag to `terminal.comp_from` #59036

Sign in to view logs

Triggered via pull request February 7, 2025 03:08

CharredLee

synchronize #21527

terminal_from_comp_reassoc

Status Success

Total duration 10s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor