Thu, 29 Oct 2026 23:40:41 UTC | login

Information for task buildArch (cvc5-1.4.1-1.fc45.src.rpm, riscv64)

ID120365
MethodbuildArch
Parameters Arch: riscv64
Build tag: f45-build
Keep srpm: True
Pkg: tasks/221/120221/cvc5-1.4.1-1.fc45.src.rpm
Options:
  repo_id = 904
State failed
CreatedThu, 29 Oct 2026 17:00:06 UTC
StartedThu, 29 Oct 2026 17:01:53 UTC
CompletedThu, 29 Oct 2026 17:04:28 UTC
Total time 0:04:22
Task time 0:02:34
Owner guoguo
Channel default
Host buildvm_riscv64_06.koji.hox.org.cn
Archriscv64
Buildroot /var/lib/mock/f45-build-51892-904
Parent build (f45, /rpms/cvc5.git:2d196ba666e616cd006ad636d9be9d07cdbfc455)
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)