CI Checks

Update release workflow to match standard format (#202) #975

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	8s
memory_statistics	33s
link-verifier	3m 39s
unittest	39s
formatting	11s
git-secrets	7s
verify-manifest	8s
ssot-check	4s
spell-check	1m 12s
doxygen	14s
proof_ci	0s
	6m 55s