arm64 build of z3 4.4.0-5 in ubuntu xenial RELEASE
created
Build status
Failed to build on bos01-arm64-005
- Started
- Finished (took 1 minute, 45.1 seconds)
- buildlog (11.7 KiB)
Failed to build on bos01-arm64-005