Sat, 17 Aug 2019 20:37:41 UTC

Information for task build (rawhide, /rpms/cvc4.git:36b3497be2e20d55b939406ce91472a36e24a419)

ID36334780
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/cvc4.git#36b3497be2e20d55b939406ce91472a36e24a419
Build Target: rawhide
State closed
Buildcvc4-1.7-3.fc31
CreatedFri, 19 Jul 2019 03:07:40 UTC
StartedFri, 19 Jul 2019 03:07:43 UTC
CompletedFri, 19 Jul 2019 04:58:13 UTC
Owner jjames
Channel default
Host buildvm-armv7-11.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output