Build CBMC with cmake in all "CBMC latest" jobs (#2965)
#4558
| Job | Run time |
|---|---|
| 1m 20s | |
| 1m 20s |
cmake in all "CBMC latest" jobs (#2965)
#4558
| Job | Run time |
|---|---|
| 1m 20s | |
| 1m 20s |