i386 build of cbmc 5.6-1 in ubuntu bionic RELEASE
created
Build status
Failed to build on lgw01-amd64-015
- Started
- Finished (took 23 minutes, 33.5 seconds)
- buildlog (23.5 KiB)
Failed to build on lgw01-amd64-015