Sat, 23 Nov 2024 11:01:17 UTC | login

Information for task build (f38, /rpms/coq.git:676893ea6ee304e262fa1253180d37919c1ff3b8)

ID1406332
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/coq.git#676893ea6ee304e262fa1253180d37919c1ff3b8
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
CreatedFri, 05 May 2023 05:45:19 UTC
StartedFri, 05 May 2023 05:49:04 UTC
CompletedFri, 05 May 2023 07:37:32 UTC
Total time 1:52:13
Task time 1:48:28
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants failed build
Waiting?yes
Awaited?no
Priority5
Weight0.20
Result
BuildError: error building package (arch riscv64), mock exited with status 1; see build.log or root.log for more information
Output