Fri, 05 Jun 2020 19:56:04 UTC

Information for task build (f32-candidate, /rpms/coq.git:628588758fcc46eb0a62e5e242ffc24c2d05fc2d)

ID42805993
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/coq.git#628588758fcc46eb0a62e5e242ffc24c2d05fc2d
Build Target: f32-candidate
State closed
Buildcoq-8.11.0-1.fc32
CreatedFri, 27 Mar 2020 19:51:05 UTC
StartedFri, 27 Mar 2020 19:51:06 UTC
CompletedFri, 27 Mar 2020 20:43:24 UTC
Total time 0:52:19
Task time 0:52:18
Owner jjames
Channel default
Host buildvm-armv7-06.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output