Sun, 24 Oct 2021 07:24:44 UTC

Information for task build (f32-python, /rpms/cvc4.git:b65b6a9a07f345d539e371607870262d183e7606)

ID37156071
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/cvc4.git#b65b6a9a07f345d539e371607870262d183e7606
Build Target: f32-python
State closed
Buildcvc4-1.7-5.fc32
CreatedMon, 19 Aug 2019 14:26:56 UTC
StartedMon, 19 Aug 2019 14:26:57 UTC
CompletedMon, 19 Aug 2019 16:15:25 UTC
Total time 1:48:29
Task time 1:48:28
Owner churchyard
Channel default
Host buildhw-10.phx2.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority25
Weight0.20
Result
Output