CI Checks

Update Github CI workflow permission for release actions #6973

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
spell-check	1m 7s
unittest	7m 23s
doxygen	2m 13s
formatting	1m 16s
link-verifier	14m 13s
build-checks	2m 36s
complexity	1m 0s
git-secrets	8s
proof_ci	10m 10s
verify-manifest	18s
	40m 24s