Skip to content

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

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

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

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

lint_and_suggest_pr.yml

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