Tue, 18 Feb 2020 22:27:54 UTC

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

ID40849614
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/coq.git#7b288f2cfd097541d53e84d418166d8f2462a38d
Build Target: rawhide
State closed
Buildcoq-8.9.1-12.fc32
CreatedWed, 22 Jan 2020 04:47:21 UTC
StartedWed, 22 Jan 2020 04:47:21 UTC
CompletedWed, 22 Jan 2020 05:28:43 UTC
Total time 0:41:22
Task time 0:41:22
Owner jjames
Channel default
Host buildhw-12.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output