CI Checks

Adjust proof tooling to support CBMC v6 #371

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	9s
formatting	9s
doxygen	13s
doxygen	13s
complexity	7s
complexity	7s
git-secrets	3s
git-secrets	3s
memory_statistics	32s
memory_statistics	32s
link-verifier	1m 58s
link-verifier	35s
proof_ci	5m 27s
proof_ci	5m 15s
spell-check	42s
spell-check	42s
unittest	22s
unittest	22s
verify-manifest	8s
verify-manifest	8s
	17m 47s