CI Checks

Add write permissions to doxygen generation workflow on main (#200) #971

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
git-secrets	4s
formatting	12s
spell-check	1m 11s
complexity	8s
doxygen	12s
unittest	31s
ssot-check	5s
memory_statistics	33s
link-verifier	2m 40s
verify-manifest	12s
proof_ci	-1s
	5m 47s