CI Checks

Remove formatting bot workflow (#191) #940

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
unittest	1m 19s
complexity	12s
verify-manifest	10s
spell-check	1m 16s
doxygen	35s
git-secrets	6s
memory_statistics	34s
ssot-check	4s
link-verifier	7m 35s
formatting	1s
proof_ci	0s
	11m 52s