Fri, 05 Jun 2020 20:34:04 UTC

Information for task build (f32-candidate, /rpms/why3.git:b5b1f855be903015c9ce6934d7752b966748a917)

ID42809625
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/why3.git#b5b1f855be903015c9ce6934d7752b966748a917
Build Target: f32-candidate
State closed
Buildwhy3-1.3.1-1.fc32
CreatedFri, 27 Mar 2020 22:36:27 UTC
StartedFri, 27 Mar 2020 22:36:27 UTC
CompletedFri, 27 Mar 2020 22:52:39 UTC
Total time 0:16:12
Task time 0:16:12
Owner jjames
Channel default
Host buildvm-aarch64-16.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output