Adjust proof tooling to support CBMC v6 #420

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	12s
doxygen	22s
doxygen	22s
formatting	9s
formatting	8s
formatting	8s
git-secrets	4s
git-secrets	6s
git-secrets	6s
complexity	7s
complexity	6s
complexity	6s
link-verifier	1m 8s
link-verifier	36s
link-verifier	39s
memory_statistics	30s
memory_statistics	33s
memory_statistics	33s
proof_ci	30s
proof_ci	29s
proof_ci	29s
spell-check	38s
spell-check	39s
spell-check	39s
unittest	17s
unittest	22s
unittest	22s
verify-manifest	6s
verify-manifest	5s
verify-manifest	5s
	10m 36s