arm64 build of cvc4 1.5-1 in ubuntu bionic RELEASE
created
Build status
Failed to build on bos01-arm64-020
- Started
- Finished (took 1 hour, 51 minutes, 3.6 seconds)
- buildlog (86.6 KiB)