Wed, 08 May 2024 23:04:49 UTC | login

Information for task build (f30-candidate, coq-8.7.1-7.fc30.src.rpm)

ID133188
Methodbuild
Parameters Build target: f30-candidate
Src: cli-build/1543669929.3173115.MZvFGwDa/coq-8.7.1-7.fc30.src.rpm
State failed
Buildcoq-8.7.1-7.fc30
CreatedSat, 01 Dec 2018 22:18:39 UTC
StartedSun, 09 Dec 2018 21:10:41 UTC
CompletedMon, 10 Dec 2018 07:17:59 UTC
Total time 200:59:20
Task time 10:07:17
Owner davidlt
Channel default
Host fedora-riscv-2.gcc163.osuosl.org
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 for more information
Output