ppc64el build of cvc4 1.5-1 in ubuntu bionic RELEASE
created
Build status
Failed to build on bos02-ppc64el-002
- Started
- Finished (took 28 minutes, 26.6 seconds)
- buildlog (84.8 KiB)