CI Checks

Update create zip process in release.yml for security guidelines (#122) #395

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	25s
complexity	19s
git-secrets	5s
doxygen	15s
link-verifier	43s
memory_statistics	37s
proof_ci	5m 19s
spell-check	39s
unittest	39s
verify-manifest	8s
	9m 9s