Thu, 14 Nov 2024 11:11:55 UTC | login

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

ID596591
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#904f5f6c0f17e62457fdd42956641a5733f9b71f
Options:
  wait_builds = 
State failed
CreatedMon, 08 Jun 2020 13:03:21 UTC
StartedTue, 09 Jun 2020 02:17:02 UTC
CompletedTue, 09 Jun 2020 02:44:57 UTC
Total time 13:41:35
Task time 0:27:54
Owner davidlt
Channel default
Host fedora-riscv-2.gcc162.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