Information for task buildArch (Agda-2.6.4.3-48.fc41.src.rpm, riscv64)

ID1666756
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/6538/1666538/Agda-2.6.4.3-48.fc41.src.rpm
Options:
  repo_id = 13656
State failed
CreatedFri, 07 Jun 2024 10:04:02 CST
StartedFri, 07 Jun 2024 10:05:02 CST
CompletedFri, 07 Jun 2024 10:51:49 CST
Total time 0:47:46
Task time 0:46:46
Owner kojiadmin
Channel default
Host buildvm_riscv64_403.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f41-build-797245-13656
Parent build (f41, /rpms/Agda.git:1a1cd5d1e65e81889b3be3c5460a14bbdf9979d9)
Descendants
Waiting?no
Awaited?no
Priority19
Weight6.00
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)
hw_info.log (tail)
installed_pkgs.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)