CI Checks

Add write permissions to doxygen generation workflow on main #811

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
git-secrets	7s
unittest	28s
spell-check	1m 8s
formatting	13s
complexity	8s
link-verifier	41s
custom-standard-c-headers	10s
verify-manifest	6s
doxygen	13s
memory_statistics	39s
proof_ci	31s
proof_ci	2m 22s
spell-check	1m 8s
unittest	28s
doxygen	13s
verify-manifest	6s
formatting	13s
link-verifier	41s
git-secrets	7s
memory_statistics	39s
complexity	8s
custom-standard-c-headers	10s
	10m 39s