Information for task build (f40, /rpms/coq.git:ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d)

ID4004033
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/coq.git#ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d
State failed
CreatedThu, 08 Aug 2024 00:13:25 CST
StartedThu, 08 Aug 2024 00:14:18 CST
CompletedThu, 08 Aug 2024 00:28:18 CST
Total time 0:14:52
Task time 0:13:59
Owner kojiadmin
Channel default
Host buildvm_riscv64_1202.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