Update Hein's comment #346
moninom1ci.yml
on: push
unittest
5m 53s
spell-check
1m 34s
formatting
17s
doxygen
19s
verify-manifest
26s
link-verifier
1m 57s
build-checks
1m 16s
complexity
18s
git-secrets
5s
proof_ci
0s