Information for task buildArch (Agda-2.6.4.1-46.fc40.src.rpm, riscv64)

ID181340
MethodbuildArch
Parameters Arch: riscv64
Build tag: f40-build
Keep srpm: True
Pkg: tasks/1013/181013/Agda-2.6.4.1-46.fc40.src.rpm
Options:
  repo_id = 4877
State failed
CreatedFri, 03 May 2024 14:44:57 CST
StartedFri, 03 May 2024 14:45:52 CST
CompletedFri, 03 May 2024 14:52:26 CST
Total time 0:07:28
Task time 0:06:34
Owner kojiadmin
Channel default
Host buildvm_riscv64_1303.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f40-build-75675-4877
Parent build (f40, /rpms/Agda.git:7f51bce47f8d7d8dfcbfcabd6107f3cc19b58c0c)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output
No outputs reported