Label New Contributors

refactor(SetTheory/Ordinal/Arithmetic): `Ordinal.IsLimit` → `Order.IsSuccLimit` #60090

Sign in to view logs

Triggered via pull request February 11, 2025 19:33

vihdzp

synchronize #19802

vi.limit

Status Success

Total duration 14s

Artifacts –

label_new_contributor.yml

on: pull_request

label-and-report-new-contributor