Tue, 02 Jun 2020 12:21:56 UTC

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

ID42939453
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/coq.git#c41636e6bfe89876ead106c8155ef4d403578416
Build Target: rawhide
State closed
Buildcoq-8.11.0-2.fc33
CreatedWed, 01 Apr 2020 00:57:57 UTC
StartedWed, 01 Apr 2020 00:57:58 UTC
CompletedWed, 01 Apr 2020 01:51:09 UTC
Total time 0:53:12
Task time 0:53:10
Owner jjames
Channel default
Host buildvm-22.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output