Adjust proof tooling to support CBMC v6 #6685

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	13s
formatting	13s
complexity	12s
complexity	12s
build-checks	54s
build-checks	54s
doxygen	14s
doxygen	14s
git-secrets	5s
git-secrets	5s
link-verifier	1m 4s
link-verifier	1m 11s
spell-check	51s
spell-check	51s
proof_ci	6m 48s
proof_ci	6m 48s
unittest	5m 20s
unittest	5m 20s
verify-manifest	15s
verify-manifest	15s
	31m 59s