Sun, 05 Jul 2020 08:50:11 UTC

Information for task build (rawhide, /rpms/frama-c.git:1df051e58aafa5f8d8278241eba6db5842c0f262)

ID42768128
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/frama-c.git#1df051e58aafa5f8d8278241eba6db5842c0f262
Build Target: rawhide
State closed
Buildframa-c-20.0-1.fc33
CreatedWed, 25 Mar 2020 20:54:02 UTC
StartedWed, 25 Mar 2020 20:54:02 UTC
CompletedWed, 25 Mar 2020 21:11:23 UTC
Total time 0:17:21
Task time 0:17:21
Owner jjames
Channel default
Host buildvm-09.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output