Rename WindingNumberHorman
to WindingNumberHormann
#3250
Triggered via pull request
September 19, 2024 17:23
Status
Success
Total duration
43m 41s
Artifacts
–