Skip to content

refactor(GroupTheory/SpecificGroups/Cyclic,Dihedral): Reverse import #80257

refactor(GroupTheory/SpecificGroups/Cyclic,Dihedral): Reverse import

refactor(GroupTheory/SpecificGroups/Cyclic,Dihedral): Reverse import #80257

Triggered via pull request February 2, 2025 02:23
@tb65536tb65536
synchronize #20923
tb_dih
Status Success
Total duration 1m 31s
Artifacts

lint_and_suggest_pr.yml

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