Thu, 19 Sep 2024 03:17:06 UTC | login

Information for task buildArch (coq-8.9.1-4.fc31.src.rpm, riscv64)

ID269345
MethodbuildArch
Parameters Arch: riscv64
Build tag: f31-build
Keep srpm: True
Pkg: tasks/9193/269193/coq-8.9.1-4.fc31.src.rpm
Options:
  repo_id = 32352
State failed
CreatedThu, 15 Aug 2019 08:58:31 UTC
StartedThu, 15 Aug 2019 08:59:35 UTC
CompletedThu, 15 Aug 2019 09:01:17 UTC
Total time 0:02:46
Task time 0:01:42
Owner davidlt
Channel default
Host fedora-riscv-11.gcc164.osuosl.org
Archriscv64
Buildroot /var/lib/mock/f31-build-92497-32352
Parent build (f31-candidate, /rpms/coq.git:8659a7f087a0582e1adbfe013300ef96520f4970)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
BuildrootError: could not init mock buildroot, mock was killed by signal 11; see root.log for more information
Output mock_output.log (tail)