Skip to content
Label New Contributors

[Merged by Bors] - feat(NumberTheory/Divisors): add divisorAntidiagonal equivalence. #97011

Sign in to view logs

[Merged by Bors] - feat(NumberTheory/Divisors): add divisorAntidiagonal equivalence.

[Merged by Bors] - feat(NumberTheory/Divisors): add divisorAntidiagonal equivalence. #97011

Triggered via pull request August 20, 2025 11:30
@CBirkbeckCBirkbeck
synchronize #27837
Status Success
Total duration 8s
Artifacts –

label_new_contributor.yml

on: pull_request_target
label-and-report-new-contributor
4s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in
⚡