Information for task buildArch (yices-2.7.0-10.fc45.src.rpm, riscv64)

ID9077546
MethodbuildArch
Parameters Arch: riscv64
Build tag: f45-build
Keep srpm: True
Pkg: tasks/7258/9077258/yices-2.7.0-10.fc45.src.rpm
Options:
  repo_id = 58179
State failed
CreatedFri, 28 Aug 2026 09:08:24 CST
StartedFri, 28 Aug 2026 09:10:38 CST
CompletedFri, 28 Aug 2026 18:52:04 CST
Total time 9:43:39
Task time 9:41:25
Owner hezhengyu
Channel default
Host buildvm_riscv64_202.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f45-build-4339315-58179
Parent build (f45, /rpms/yices.git:a796b4116134d8960f2a60dd3fcf983ad0d833ea)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
BuildError: error building package (arch riscv64), mock exited with status 1; see build.log or root.log for more information
Output build.log (tail)
dnf5.log (tail)
hw_info.log (tail)
installed_pkgs.log (tail)
mock_config.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)