Back to pull request #178

Adjust proof tooling to support CBMC v6 #596

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formatting	11s
formatting	11s
complexity	8s
complexity	8s
git-secrets	5s
git-secrets	5s
doxygen	22s
doxygen	22s
link-verifier	1m 1s
link-verifier	52s
memory_statistics	36s
memory_statistics	36s
proof_ci	19m 23s
proof_ci	18m 58s
spell-check	46s
spell-check	46s
unittest	30s
unittest	30s
verify-manifest	7s
verify-manifest	7s
	45m 44s