Sat, 14 Dec 2024 00:34:02 UTC | login

Information for task build (f33, /rpms/cvc4.git:8ca4eb34024c5f29066d99b068a1edb68c1094a9)

ID785081
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/cvc4.git#8ca4eb34024c5f29066d99b068a1edb68c1094a9
Options:
  wait_builds = 
State failed
Buildcvc4-1.8-1.fc33
CreatedFri, 04 Dec 2020 11:52:35 UTC
StartedFri, 04 Dec 2020 11:52:36 UTC
CompletedFri, 04 Dec 2020 12:16:47 UTC
Total time 0:24:12
Task time 0:24:11
Owner davidlt
Channel default
Host fedora-riscv-6.gcc141.osuosl.org
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