Fri, 13 Dec 2024 23:34:44 UTC | login

Information for task build (f31-candidate, /rpms/cvc4.git:8df1bcefe40166fe8345e388e7c98bc2ef419cdb)

ID276520
Methodbuild
Parameters Build target: f31-candidate
Src: git+https://src.fedoraproject.org/rpms/cvc4.git#8df1bcefe40166fe8345e388e7c98bc2ef419cdb
State failed
Buildcvc4-1.7-4.fc31
CreatedSat, 31 Aug 2019 15:09:25 UTC
StartedSun, 01 Sep 2019 11:11:16 UTC
CompletedSun, 01 Sep 2019 12:31:03 UTC
Total time 21:21:38
Task time 1:19:46
Owner davidlt
Channel default
Host builder2-x86.tranquillity.se
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