Sun, 05 Jul 2020 08:46:09 UTC

Information for task build (rawhide, coq-8.11.0-1.fc33.src.rpm)

ID42770190
Methodbuild
Parameters Source: cli-build/1585183224.9706724.xWVERrkm/coq-8.11.0-1.fc33.src.rpm
Build Target: rawhide
Options:
  scratch = True
State closed
CreatedThu, 26 Mar 2020 00:40:26 UTC
StartedThu, 26 Mar 2020 00:40:26 UTC
CompletedThu, 26 Mar 2020 01:27:16 UTC
Total time 0:46:50
Task time 0:46:50
Owner jjames
Channel default
Host buildhw-10.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output