Sat, 01 Mar 2025 22:36:01 UTC | login

Information for task build (f38, /rpms/yices.git:a4fab3edb052ee2145eb93dcd75ffc2760c08107)

ID1385423
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/yices.git#a4fab3edb052ee2145eb93dcd75ffc2760c08107
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
CreatedThu, 30 Mar 2023 13:28:04 UTC
StartedThu, 30 Mar 2023 13:28:07 UTC
CompletedFri, 31 Mar 2023 07:43:22 UTC
Total time 18:15:18
Task time 18:15:14
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