Use CBMC version 5.95.1 #1484

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
doxygen	15s
doxygen	15s
complexity	9s
complexity	9s
formatting	7s
formatting	7s
custom-standard-c-headers	13s
custom-standard-c-headers	13s
git-secrets	7s
git-secrets	7s
link-verifier	2m 52s
link-verifier	44s
memory_statistics	36s
memory_statistics	36s
proof_ci	21m 53s
proof_ci	21m 53s
spell-check	40s
spell-check	40s
verify-manifest	6s
verify-manifest	6s
unittest	28s
unittest	28s
	52m 44s