CI Checks

Remove formatting bot workflow #788

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	25s
complexity	14s
doxygen	18s
spell-check	1m 27s
formatting	1s
custom-standard-c-headers	7s
link-verifier	54s
proof_ci	9m 42s
verify-manifest	9s
memory_statistics	32s
git-secrets	6s
	13m 55s