CI Checks

Remove formatting bot workflow (#174) #789

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	13s
unittest	23s
link-verifier	50s
spell-check	2m 6s
doxygen	29s
formatting	1s
custom-standard-c-headers	6s
memory_statistics	36s
verify-manifest	9s
git-secrets	7s
proof_ci	-1s
	4m 59s