Sun, 22 Dec 2024 10:47:56 UTC | login

Information for task build (f31-candidate, /rpms/gappalib-coq.git:d14242162314c04ae60de8de8a49cb436d9ac27a)

ID307996
Methodbuild
Parameters Build target: f31-candidate
Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#d14242162314c04ae60de8de8a49cb436d9ac27a
State failed
Buildgappalib-coq-1.4.2-1.fc31
CreatedSat, 21 Sep 2019 10:18:06 UTC
StartedSat, 21 Sep 2019 17:56:57 UTC
CompletedSat, 21 Sep 2019 19:07:53 UTC
Total time 8:49:47
Task time 1:10:55
Owner davidlt
Channel default
Host fedora-riscv-2.gcc161.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 30; see root.log for more information
Output