Update CMakeList to optionally build UT/Coverity; Update coverity configuration #1458

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	18s
complexity	33s
doxygen	15s
custom-standard-c-headers	15s
formatting	9s
git-secrets	4s
spell-check	1m 58s
link-verifier	41s
memory_statistics	28s
proof_ci	24m 25s
verify-manifest	5s
	29m 11s