Information for task buildArch (cvc5-1.3.2-4.fc44.src.rpm, riscv64)

ID8900129
MethodbuildArch
Parameters Arch: riscv64
Build tag: f44-build
Keep srpm: True
Pkg: tasks/9808/8899808/cvc5-1.3.2-4.fc44.src.rpm
Options:
  repo_id = 56571
State failed
CreatedSun, 26 Apr 2026 22:42:05 CST
StartedSun, 26 Apr 2026 22:42:41 CST
CompletedSun, 26 Apr 2026 23:28:58 CST
Total time 0:46:53
Task time 0:46:17
Owner liuyang
Channel default
Host buildvm_riscv64_903.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f44-build-4276989-56571
Parent build (f44, /rpms/cvc5.git:035c16c4d83d5e962374338f13f1494324e365d5)
Descendants
Waiting?no
Awaited?no
Priority19
Weight5.05
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)