Thu, 09 May 2024 19:27:38 UTC | login

Information for task build (f38, /rpms/gappalib-coq.git:647137248cc065a2f81e14e687d862be0b12e1c6)

ID1385980
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#647137248cc065a2f81e14e687d862be0b12e1c6
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
Buildgappalib-coq-1.5.2-7.fc38
CreatedFri, 31 Mar 2023 06:23:33 UTC
StartedFri, 31 Mar 2023 06:30:57 UTC
CompletedFri, 31 Mar 2023 15:05:29 UTC
Total time 8:41:56
Task time 8:34:32
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