Fri, 18 Oct 2019 21:50:42 UTC

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

ID35972756
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/cvc4.git#f294ef445b87f39e5f6e4acda19e97fb908046ed
Build Target: rawhide
State closed
Buildcvc4-1.7-2.fc31
CreatedMon, 01 Jul 2019 02:29:26 UTC
StartedMon, 01 Jul 2019 02:29:26 UTC
CompletedMon, 01 Jul 2019 04:00:03 UTC
Total time 1:30:37
Task time 1:30:36
Owner jjames
Channel default
Host buildvm-31.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output