CI-CD Updates #191

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	29s
doxygen	29s
formatting	10s
formatting	10s
complexity	41s
complexity	41s
build-with-default-config	20s
build-with-default-config	20s
git-secrets	6s
git-secrets	6s
link-verifier	53s
link-verifier	53s
memory_statistics	37s
memory_statistics	37s
proof_ci	4s
proof_ci	55s
spell-check	57s
spell-check	57s
unittest	41s
unittest	41s
verify-manifest	9s
verify-manifest	9s
	11m 5s