amd64 build of cbmc 5.12-5 in ubuntu lunar RELEASE
created
Build status
Failed to build on lcy02-amd64-035
- Started
- Finished (took 6 minutes, 11.4 seconds)
- buildlog (42.8 KiB)
Failed to build on lcy02-amd64-035