Tue, 02 Jun 2020 11:53:59 UTC

Information for task build (rawhide, /rpms/coq.git:8ec920a2ed402704518d5903fe4aa19ed454995a)

ID42765073
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/coq.git#8ec920a2ed402704518d5903fe4aa19ed454995a
Build Target: rawhide
State closed
Buildcoq-8.11.0-1.fc33
CreatedWed, 25 Mar 2020 17:24:32 UTC
StartedWed, 25 Mar 2020 17:24:32 UTC
CompletedWed, 25 Mar 2020 18:19:46 UTC
Total time 0:55:14
Task time 0:55:13
Owner jjames
Channel default
Host buildvm-21.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output