armhf build of agda 2.6.2.2-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos01-arm64-001
- Started
- Finished (took 5 hours, 11 minutes, 15.6 seconds)
- buildlog (40.9 KiB)