Fri, 05 Jun 2020 20:22:03 UTC

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

ID42825098
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/why3.git#1afbf9d426087420293c17044c9e1db782ecaee2
Build Target: f32-candidate
State closed
Buildwhy3-1.3.1-2.fc32
CreatedSat, 28 Mar 2020 14:22:08 UTC
StartedSat, 28 Mar 2020 14:22:08 UTC
CompletedSat, 28 Mar 2020 14:41:42 UTC
Total time 0:19:34
Task time 0:19:34
Owner jjames
Channel default
Host buildvm-armv7-14.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output