CI Checks

Update the release workflow to use CI-CD-GH-Actions workflow (#199) #642

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	1m 5s
spell-check	59s
verify-manifest	8s
complexity	9s
memory_statistics	40s
git-secrets	7s
unittest	36s
formatting	11s
link-verifier	8m 57s
proof_ci	-1s
	12m 51s