Thu, 09 May 2024 10:36:11 UTC | login

Information for task build (f29-candidate, coq-8.7.1-7.fc29.src.rpm)

ID123517
Methodbuild
Parameters Build target: f29-candidate
Src: cli-build/1543400874.3573256.RSuVKiHQ/coq-8.7.1-7.fc29.src.rpm
State failed
Buildcoq-8.7.1-7.fc29
CreatedWed, 28 Nov 2018 19:28:03 UTC
StartedThu, 29 Nov 2018 07:13:36 UTC
CompletedThu, 29 Nov 2018 10:40:15 UTC
Total time 15:12:11
Task time 3:26:38
Owner davidlt
Channel default
Host fedora-riscv-7.gcc129.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