Fri, 05 Jun 2020 19:41:01 UTC

Information for task build (f32-candidate, coq-8.11.0-2.fc32.src.rpm)

ID42808115
Methodbuild
Parameters Source: cli-build/1585344536.6628022.BFTSMsFZ/coq-8.11.0-2.fc32.src.rpm
Build Target: f32-candidate
Options:
  scratch = True
State closed
CreatedFri, 27 Mar 2020 21:28:58 UTC
StartedFri, 27 Mar 2020 21:28:59 UTC
CompletedFri, 27 Mar 2020 22:17:42 UTC
Total time 0:48:44
Task time 0:48:43
Owner jjames
Channel default
Host buildvm-armv7-24.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output