armhf build of cvc5 1.0.2-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos01-arm64-034
- Started
- Finished (took 37 minutes, 39.0 seconds)
- buildlog (128.8 KiB)
Failed to build on bos01-arm64-034