build (f42, /rpms/gappalib-coq.git:8c6db1a170e5ad81eea544e12ace48ccc54e76cb) | Task Info

ID	7013539
Method	build
Parameters	Build target: f42 Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#8c6db1a170e5ad81eea544e12ace48ccc54e76cb
State	failed
Created	Wed, 12 Mar 2025 23:44:50 CST
Started	Wed, 12 Mar 2025 23:45:52 CST
Completed	Thu, 13 Mar 2025 00:15:45 CST
Total time	0:30:55
Task time	0:29:52
Owner	kojiadmin
Channel	default
Host	buildvm_riscv64_800.openkoji.iscas.ac.cn
Arch	noarch
Parent
Descendants	build buildSRPMFromSCM (/rpms/gappalib-coq.git:8c6db1a170e5ad81eea544e12ace48ccc54e76cb) buildArch (gappalib-coq-1.7.0-1.fc42.src.rpm, riscv64)
Waiting?	yes
Awaited?	no
Priority	20
Weight	0.20
Result	BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output	No outputs reported