armhf build of cvc5 1.0.2-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos02-arm64-058
- Started
- Finished (took 18 minutes, 35.7 seconds)
- buildlog (128.0 KiB)
Failed to build on bos02-arm64-058