CI-CD Updates #500

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-with-default-config	12s
build-with-default-config	12s
unittest	41s
unittest	41s
formatting	21s
formatting	21s
git-secrets	5s
git-secrets	5s
link-verifier	1m 13s
link-verifier	1m 13s
memory_statistics	40s
memory_statistics	40s
verify-manifest	8s
verify-manifest	8s
complexity	13s
complexity	13s
proof_ci	4s
proof_ci	2m 24s
doxygen	42s
doxygen	42s
spell-check	1m 10s
spell-check	1m 10s
	13m 18s