Click here to visit the old openkoji buildsystem (Archived)

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

ID2615794
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/coq.git#ef4484f9a526bfdd0d5aa12e8b8319d371d8b00d
State failed
CreatedSun, 30 Jun 2024 07:03:37 CST
StartedSun, 30 Jun 2024 07:04:06 CST
CompletedSun, 30 Jun 2024 07:19:05 CST
Total time 0:15:28
Task time 0:14:59
Owner kojiadmin
Channel default
Host buildvm_riscv64_700.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