CI Checks

Performance and Safety Improvements #369

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	7s
complexity	7s
doxygen	47s
doxygen	47s
git-secrets	7s
git-secrets	7s
formatting	8s
formatting	7s
link-verifier	59s
link-verifier	59s
memory_statistics	32s
memory_statistics	34s
proof_ci	6s
proof_ci	1m 14s
spell-check	2m 10s
spell-check	2m 10s
unittest	10s
unittest	14s
verify-manifest	6s
verify-manifest	6s
	11m 37s