CI Checks

Replace Synopsys link with blackduck one to solve link error. #597

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	18s
git-secrets	4s
complexity	8s
formatting	38s
link-verifier	50s
memory_statistics	41s
proof_ci	22m 0s
spell-check	42s
unittest	36s
verify-manifest	9s
	26m 6s