Information for task buildArch (Agda-2.6.4.1-47.fc41.src.rpm, riscv64)

ID486808
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/6387/486387/Agda-2.6.4.1-47.fc41.src.rpm
Options:
  repo_id = 8331
State failed
CreatedMon, 06 May 2024 17:28:58 CST
StartedMon, 06 May 2024 17:30:11 CST
CompletedMon, 06 May 2024 18:16:42 CST
Total time 0:47:44
Task time 0:46:30
Owner kojiadmin
Channel default
Host buildvm_riscv64_600.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f41-build-216362-8331
Parent build (f41, /rpms/Agda.git:90aee6980bd1b7cbb0f2c4b781574b66b2e20f46)
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
No outputs reported