arm64 build of agda 2.6.2.2-1 in ubuntu lunar RELEASE
created
Build status
Failed to build on bos02-arm64-032
- Started
- Finished (took 4 hours, 34 minutes, 58.5 seconds)
- buildlog (38.0 KiB)