Build CBMC with cmake in all "CBMC latest" jobs
#6007
adpaco-awskani.yml
on: pull_request
write-json-symtab-regression
11m 56s
benchcomp-tests
4m 20s
perf
28m 12s
bookrunner
15m 33s
Matrix: regression