CI-CD Updates #5545

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	13s
complexity	13s
build-checks	1m 0s
build-checks	1m 0s
formatting	15s
formatting	15s
doxygen	17s
doxygen	17s
git-secrets	5s
git-secrets	5s
link-verifier	1m 24s
link-verifier	1m 24s
proof_ci	6s
proof_ci	7m 28s
spell-check	1m 14s
spell-check	1m 14s
unittest	5m 13s
unittest	5m 13s
verify-manifest	20s
verify-manifest	20s
	27m 36s