Wed, 20 Nov 2024 14:38:08 UTC | login

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

ID275863
Methodbuild
Parameters Build target: f31-candidate
Src: git+https://src.fedoraproject.org/rpms/coq.git#8659a7f087a0582e1adbfe013300ef96520f4970
State failed
CreatedSat, 31 Aug 2019 14:49:28 UTC
StartedSun, 01 Sep 2019 04:12:29 UTC
CompletedSun, 01 Sep 2019 05:22:19 UTC
Total time 14:32:50
Task time 1:09:50
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