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

ID1311662
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/1504/1311504/Agda-2.6.4.3-48.fc41.src.rpm
Options:
  repo_id = 11963
State failed
CreatedMon, 27 May 2024 19:21:35 CST
StartedMon, 27 May 2024 19:22:18 CST
CompletedMon, 27 May 2024 20:04:42 CST
Total time 0:43:07
Task time 0:42:23
Owner kojiadmin
Channel default
Host buildvm_riscv64_1501.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f41-build-624652-11963
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
No outputs reported