This site has been archived!!! Click here to visit the new openkoji buildsystem!

Information for task build (f39-build, /rpms/coq.git:a0975beca95170cd27ef8b8c436f7381b94c5f6b)

ID5286102
Methodbuild
Parameters Build target: f39-build
Src: git+https://src.fedoraproject.org/rpms/coq.git#a0975beca95170cd27ef8b8c436f7381b94c5f6b
State failed
CreatedMon, 11 Mar 2024 12:57:58 CST
StartedMon, 11 Mar 2024 12:58:09 CST
CompletedMon, 11 Mar 2024 18:46:27 CST
Total time 5:48:29
Task time 5:48:18
Owner hezhengyu
Channel release
Host oex86b1.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 1; see build.log or root.log for more information
Output