Fri, 22 Nov 2024 17:23:00 UTC | login

Information for task build (f41, /rpms/cvc5.git:44121ae8e3080bd6b63070658a2d31e322bb6a6d)

ID1830944
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/cvc5.git#44121ae8e3080bd6b63070658a2d31e322bb6a6d
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
Buildcvc5-1.2.0-1.fc41
CreatedSun, 27 Oct 2024 06:02:25 UTC
StartedSun, 27 Oct 2024 06:02:26 UTC
CompletedSun, 27 Oct 2024 10:04:17 UTC
Total time 4:01:52
Task time 4:01:51
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 1; see build.log or root.log for more information
Output