Sat, 09 Nov 2024 04:51:34 UTC | login

Information for task build (f40, /rpms/gappalib-coq.git:d5072176a5e6408e12667f9b32993ef0d68f8cc7)

ID1497504
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/gappalib-coq.git#d5072176a5e6408e12667f9b32993ef0d68f8cc7
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
CreatedMon, 13 Nov 2023 11:16:51 UTC
StartedMon, 13 Nov 2023 11:17:05 UTC
CompletedMon, 13 Nov 2023 13:42:49 UTC
Total time 2:25:57
Task time 2:25:43
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