Sun, 01 Dec 2024 23:30:12 UTC | login

Information for task build (f40, /rpms/cvc5.git:fee791d29f4fd0ff5797a6e3f3681fc417d69278)

ID1584771
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/cvc5.git#fee791d29f4fd0ff5797a6e3f3681fc417d69278
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
Buildcvc5-1.0.8-1.fc40
CreatedSun, 31 Dec 2023 20:53:22 UTC
StartedWed, 03 Jan 2024 15:15:50 UTC
CompletedThu, 04 Jan 2024 16:19:14 UTC
Total time 91:25:51
Task time 25:03:23
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