Fix PointerType in guiFormSpecMenu #31
linux.yml
on: push
gcc_7
6m 13s
gcc_14
6m 0s
clang_7
6m 37s
clang_18
8m 31s
clang_11 (PROMETHEUS=1)
3m 20s