riscv64 build of z3 4.8.7-ok2 in openkylin yangtze PROPOSED

created

Build status

[FAILEDTOBUILD] Failed to build on docker-riscv64-0.37-8321 Retry this build

  • Started
  • Finished (took 40 minutes, 15.1 seconds)
  • buildlog (65.5 KiB)

Build details

Source:
z3 - 4.8.7-ok2
Archive:
Primary Archive for openKylin
Series:
Yangtze V1.0
Architecture:
riscv64
Pocket:
Proposed
Component:
main