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

ID2693649
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/coq.git#c976a3ae2593f629138f58cec1e1f53bd6a82e15
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
CreatedTue, 02 Jul 2024 08:51:30 CST
StartedTue, 02 Jul 2024 08:51:54 CST
CompletedTue, 02 Jul 2024 09:09:18 CST
Total time 0:17:48
Task time 0:17:23
Owner kojiadmin
Channel default
Host buildvm_riscv64_1000.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