Label New Contributors

chore: remove some `Setoid.r` #36910

Sign in to view logs

Triggered via pull request October 9, 2024 13:37

synchronize #16258

FR_clean_setoid_r

Status Success

Total duration 12s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor