armhf build of agda 2.5.4.1-3 in ubuntu eoan RELEASE
created
Build status
Failed to build on bos02-arm64-016
- Started
- Finished (took 4 minutes, 1.0 seconds)
- buildlog (19.8 KiB)
Failed to build on bos02-arm64-016