CI Checks

Update permission for release actions (#1270) #6974

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	1m 29s
spell-check	2m 39s
unittest	7m 0s
doxygen	1m 22s
verify-manifest	21s
link-verifier	10m 57s
git-secrets	5s
complexity	1m 2s
build-checks	2m 25s
proof_ci	0s
link-verifier	14m 23s
unittest	7m 0s
build-checks	2m 25s
doxygen	1m 22s
complexity	1m 2s
spell-check	2m 39s
proof_ci	-76292s
formatting	1m 29s
verify-manifest	21s
git-secrets	5s
	-72806s