Thu, 06 Jun 2024 12:36:55 UTC | login

Information for task buildArch (Agda-2.6.4-41.fc40.src.rpm, riscv64)

ID1550305
MethodbuildArch
Parameters Arch: riscv64
Build tag: f40-build
Keep srpm: True
Pkg: tasks/9928/1549928/Agda-2.6.4-41.fc40.src.rpm
Options:
  repo_id = 119575
State failed
CreatedFri, 08 Dec 2023 14:00:41 UTC
StartedFri, 08 Dec 2023 17:18:15 UTC
CompletedSat, 09 Dec 2023 03:15:40 UTC
Total time 13:14:58
Task time 9:57:24
Owner davidlt
Channel default
Host nujive.home.annexia.org
Archriscv64
Buildroot /var/lib/mock/f40-build-758043-119575
Parent build (f40, /rpms/Agda.git:077d4357e78dd8812a43d4226e7bfdc7b42d5e40)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
BuildError: error building package (arch riscv64), mock exited with status 1; see build.log or root.log for more information
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)