ppc64el build of cbmc 5.12-5 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos02-ppc64el-010
- Started
- Finished (took 6 minutes, 20.4 seconds)
- buildlog (42.8 KiB)