riscv64 build of z3 4.8.12-3 in ubuntu lunar RELEASE
created
Build status
Failed to build on riscv64-qemu-lgw01-024
- Started
- Finished (took 2 hours, 34 minutes, 8.7 seconds)
- buildlog (60.4 KiB)