CI Checks

Remove changes to achieve 100% coverage #745

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	0s
complexity	6s
formatting	0s
formatting	8s
custom-standard-c-headers	0s
custom-standard-c-headers	3s
doxygen	0s
doxygen	14s
git-secrets	0s
git-secrets	3s
memory_statistics	0s
memory_statistics	28s
link-verifier	0s
link-verifier	46s
proof_ci	0s
proof_ci	3m 43s
spell-check	0s
spell-check	0s
unittest	0s
unittest	16s
verify-manifest	0s
verify-manifest	7s
	5m 54s