CI Checks

Update release workflow to match standard format #815

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	13s
unittest	20s
doxygen	11s
complexity	7s
custom-standard-c-headers	12s
verify-manifest	7s
spell-check	1m 20s
memory_statistics	36s
proof_ci	2m 58s
link-verifier	4m 44s
git-secrets	6s
	10m 54s