use gdim in default shape for an element with a rank #1685
Triggered via pull request
September 28, 2023 10:36
mscroggs
Status
Success
Total duration
16m 16s
Artifacts
–