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

ID1336301
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/coq.git#e50af8041a96561e31569f80e6cf224517f32fe9
State failed
CreatedTue, 28 May 2024 10:24:42 CST
StartedTue, 28 May 2024 10:25:08 CST
CompletedTue, 28 May 2024 10:39:04 CST
Total time 0:14:21
Task time 0:13:55
Owner kojiadmin
Channel default
Host buildvm_riscv64_1400.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