Sun, 05 Jul 2020 08:38:35 UTC

Information for task build (rawhide, /rpms/why3.git:b5b1f855be903015c9ce6934d7752b966748a917)

ID42767845
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/why3.git#b5b1f855be903015c9ce6934d7752b966748a917
Build Target: rawhide
State closed
Buildwhy3-1.3.1-1.fc33
CreatedWed, 25 Mar 2020 20:02:15 UTC
StartedWed, 25 Mar 2020 20:02:16 UTC
CompletedWed, 25 Mar 2020 20:22:20 UTC
Total time 0:20:04
Task time 0:20:04
Owner jjames
Channel default
Host buildvm-armv7-09.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output