CI Checks

[AUTO][RELEASE]: Update version numbers (#206) #653

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spell-check	1m 3s
verify-manifest	7s
git-secrets	5s
unittest	27s
link-verifier	8m 57s
complexity	10s
doxygen	15s
memory_statistics	32s
formatting	16s
proof_ci	0s
	11m 52s