Update create zip process in release.yml for security guidelines #394

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	9s
formatting	9s
doxygen	23s
git-secrets	4s
link-verifier	34s
memory_statistics	32s
proof_ci	5m 25s
spell-check	53s
unittest	24s
verify-manifest	13s
	8m 46s