Follow Security Guide to update release.yml #1615

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	25s
unittest	25s
doxygen	13s
doxygen	13s
custom-standard-c-headers	5s
custom-standard-c-headers	5s
complexity	7s
complexity	7s
formatting	22s
formatting	22s
git-secrets	4s
git-secrets	4s
memory_statistics	31s
memory_statistics	31s
spell-check	37s
spell-check	37s
verify-manifest	6s
verify-manifest	6s
link-verifier	43s
link-verifier	43s
proof_ci	18m 43s
proof_ci	1h 33m 16s
	1h 58m 25s