Mon, 04 Nov 2024 00:23:22 UTC | login

Information for task buildArch (Agda-2.5.4.2-18.fc31.src.rpm, riscv64)

ID230408
MethodbuildArch
Parameters Arch: riscv64
Build tag: f31-build
Keep srpm: True
Pkg: tasks/9877/229877/Agda-2.5.4.2-18.fc31.src.rpm
Options:
  repo_id = 30897
State failed
CreatedThu, 08 Aug 2019 06:58:02 UTC
StartedThu, 08 Aug 2019 06:58:04 UTC
CompletedThu, 08 Aug 2019 07:05:14 UTC
Total time 0:07:11
Task time 0:07:09
Owner davidlt
Channel default
Host five.home.annexia.org
Archriscv64
Buildroot /var/lib/mock/f31-build-73198-30897
Parent build (f31-candidate, /rpms/Agda.git:64d8785d63e8d1f5ffb7fb482d468c2cff8c03df)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)