Sun, 02 Jun 2024 21:41:13 UTC | login

Information for task build (f37, /rpms/gappalib-coq.git:176d72f0dd8fb19a30625458e4e0c552c30606cc)

ID1283443
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#176d72f0dd8fb19a30625458e4e0c552c30606cc
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
CreatedSat, 05 Nov 2022 09:41:28 UTC
StartedMon, 07 Nov 2022 13:48:15 UTC
CompletedTue, 08 Nov 2022 10:59:26 UTC
Total time 73:17:57
Task time 21:11:11
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