CI-CD Updates #641

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-code-example	21s
build-code-example	21s
doxygen	20s
doxygen	20s
complexity	17s
complexity	17s
build-check	8s
build-check	8s
formatting	18s
formatting	18s
git-secrets	5s
git-secrets	5s
link-verifier	47s
link-verifier	47s
memory_statistics	28s
memory_statistics	28s
proof_ci	1m 0s
proof_ci	39s
spell-check	58s
spell-check	58s
unittest-for-coverage	26s
unittest-for-coverage	26s
unittest-with-sanitizer	43s
unittest-with-sanitizer	43s
verify-manifest	13s
verify-manifest	13s
	11m 47s