Label New Contributors

chore: add typeclasses to unify various `add_top`, `add_eq_top`, etc. #42842

Sign in to view logs

Triggered via pull request November 5, 2024 11:09

synchronize #14598

CommandMaster_topTypeclasses

Status Success

Total duration 13s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor