Information for task build (f41, /rpms/coq.git:e50af8041a96561e31569f80e6cf224517f32fe9)

ID1186599
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/coq.git#e50af8041a96561e31569f80e6cf224517f32fe9
State failed
CreatedFri, 24 May 2024 04:32:30 CST
StartedFri, 24 May 2024 04:33:04 CST
CompletedFri, 24 May 2024 04:47:16 CST
Total time 0:14:46
Task time 0:14:12
Owner kojiadmin
Channel default
Host buildvm_riscv64_800.openkoji.iscas.ac.cn
Archnoarch
Parent
Descendants failed build
Waiting?yes
Awaited?no
Priority20
Weight0.20
Result
BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output
No outputs reported