Give header files a uniform indentation (#1034) #345
moninom1ci.yml
on: push
unittest
5m 0s
spell-check
1m 47s
formatting
17s
doxygen
20s
verify-manifest
25s
link-verifier
1m 41s
build-checks
1m 6s
complexity
12s
git-secrets
4s
proof_ci
0s