Thu, 14 Nov 2019 21:54:32 UTC

Information for task build (f32, cvc4-1.7-6.fc32.src.rpm)

ID38859186
Methodbuild
Parameters Source: ../packages/cvc4/1.7/6.fc32/src/cvc4-1.7-6.fc32.src.rpm
Build Target: f32
Options:
  scratch = True
  arch_override = aarch64 x86_64 ppc64le
State closed
CreatedSat, 09 Nov 2019 14:25:23 UTC
StartedSat, 09 Nov 2019 14:25:24 UTC
CompletedSat, 09 Nov 2019 15:40:06 UTC
Total time 1:14:43
Task time 1:14:42
Owner koschei
Channel default
Host buildvm-11.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority50
Weight0.20
Result
Output