Fri, 13 Dec 2024 21:17:29 UTC | login

Information for task build (f33, /rpms/idris.git:dedb618cfedb3983e37446b1696329015d8e1833)

ID781122
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/idris.git#dedb618cfedb3983e37446b1696329015d8e1833
Options:
  wait_builds = 
State failed
CreatedThu, 03 Dec 2020 14:52:46 UTC
StartedThu, 03 Dec 2020 14:52:56 UTC
CompletedThu, 03 Dec 2020 15:13:55 UTC
Total time 0:21:09
Task time 0:20:59
Owner davidlt
Channel default
Host fedora-riscv-6.gcc161.osuosl.org
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