Fix review comments #357
moninom1ci.yml
on: push
unittest
3m 41s
spell-check
2m 11s
formatting
10s
doxygen
18s
verify-manifest
15s
link-verifier
1m 43s
build-checks
1m 5s
complexity
11s
git-secrets
5s
proof_ci
0s