Tue, 03 Dec 2024 11:14:30 UTC | login

Information for task build (f33, /rpms/yices.git:26ecb5e37f7ca9b6f55f7769242761890fb434bd)

ID437010
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/yices.git#26ecb5e37f7ca9b6f55f7769242761890fb434bd
Options:
  wait_builds = 
State failed
Buildyices-2.6.2-1.fc33
CreatedThu, 16 Apr 2020 11:48:41 UTC
StartedThu, 16 Apr 2020 17:01:10 UTC
CompletedThu, 16 Apr 2020 17:34:20 UTC
Total time 5:45:39
Task time 0:33:10
Owner davidlt
Channel default
Host fedora-riscv-1.gcc145.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