Skip to content

[Merged by Bors] - feat: Sedrakyan's lemma #47060

[Merged by Bors] - feat: Sedrakyan's lemma

[Merged by Bors] - feat: Sedrakyan's lemma #47060

Triggered via pull request November 22, 2024 23:50
@vihdzpvihdzp
synchronize #19311
vi.sedrakyan
Status Success
Total duration 1m 5s
Artifacts

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
7s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in