ppc64el build of cvc4 1.5-1 in ubuntu bionic RELEASE
created
Build status
Failed to build on bos02-ppc64el-016
- Started
- Finished (took 29 minutes, 54.5 seconds)
- buildlog (122.7 KiB)