Skip to content

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

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

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

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

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 15s
Lint style
Check all files imported
35s
Check all files imported
Fit to window
Zoom out
Zoom in