Fri, 13 Dec 2024 15:10:29 UTC | login

Information for task build (f33, /rpms/Agda-stdlib.git:474862f3fe5c8548436eb1dea8bacc3e89f24b85)

ID584706
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#474862f3fe5c8548436eb1dea8bacc3e89f24b85
Options:
  wait_builds = 
State failed
CreatedMon, 08 Jun 2020 04:47:29 UTC
StartedMon, 08 Jun 2020 07:25:07 UTC
CompletedMon, 08 Jun 2020 07:49:50 UTC
Total time 3:02:20
Task time 0:24:43
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
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