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

ID3975797
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/coq.git#ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d
State failed
CreatedWed, 07 Aug 2024 10:11:42 CST
StartedWed, 07 Aug 2024 10:12:08 CST
CompletedWed, 07 Aug 2024 10:26:28 CST
Total time 0:14:45
Task time 0:14:19
Owner kojiadmin
Channel default
Host buildvm_riscv64_1501.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