CI Checks

[AUTO][RELEASE]: Update version numbers (#203) #976

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
link-verifier	1m 49s
unittest	36s
spell-check	1m 9s
memory_statistics	37s
complexity	7s
ssot-check	4s
formatting	11s
git-secrets	4s
doxygen	23s
verify-manifest	9s
proof_ci	-1s
	5m 8s