Sat, 09 Nov 2024 15:29:23 UTC | login

Information for task build (f37, /rpms/why3.git:edda0bbb4458e4607c3c4c1770f8b8e1df798204)

ID1244032
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/why3.git#edda0bbb4458e4607c3c4c1770f8b8e1df798204
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
CreatedMon, 10 Oct 2022 13:31:06 UTC
StartedMon, 10 Oct 2022 13:31:07 UTC
CompletedMon, 10 Oct 2022 13:42:34 UTC
Total time 0:11:27
Task time 0:11:26
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