CI Checks

Update release workflow to match standard format #974

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	11s
doxygen	16s
formatting	14s
link-verifier	4m 47s
memory_statistics	37s
ssot-check	6s
unittest	34s
git-secrets	6s
spell-check	1m 23s
verify-manifest	9s
proof_ci	3m 11s
	11m 34s