Tue, 05 Nov 2024 14:47:24 UTC | login

Information for task build (f33, /rpms/gappalib-coq.git:ed2047ffd8d38f1252dc7800045dd7a3c2473b87)

ID723164
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#ed2047ffd8d38f1252dc7800045dd7a3c2473b87
Options:
  wait_builds = 
State failed
CreatedTue, 01 Sep 2020 07:03:07 UTC
StartedTue, 01 Sep 2020 10:51:18 UTC
CompletedTue, 01 Sep 2020 11:21:39 UTC
Total time 4:18:32
Task time 0:30:21
Owner davidlt
Channel default
Host fedora-riscv-7.gcc129.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