Tue, 03 Dec 2024 15:33:05 UTC | login

Information for task build (f33, /rpms/why3.git:f2bbb5e16f606533e50ec7adab8ae1e013807330)

ID635072
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/why3.git#f2bbb5e16f606533e50ec7adab8ae1e013807330
Options:
  wait_builds = 
State failed
CreatedThu, 13 Aug 2020 13:04:44 UTC
StartedFri, 14 Aug 2020 23:36:41 UTC
CompletedSat, 15 Aug 2020 00:03:42 UTC
Total time 34:58:58
Task time 0:27:00
Owner davidlt
Channel default
Host fedora-riscv-4.gcc130.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