Thu, 14 Nov 2019 10:50:55 UTC

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

ID35419089
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/frama-c.git#cfe4fb5d0e7f7d8a1c2b98857d312669c1e31e0a
Build Target: rawhide
State closed
Buildframa-c-18.0-1.fc31
CreatedSun, 09 Jun 2019 02:35:40 UTC
StartedSun, 09 Jun 2019 02:35:40 UTC
CompletedSun, 09 Jun 2019 03:31:56 UTC
Total time 0:56:15
Task time 0:56:15
Owner jjames
Channel default
Host buildvm-armv7-07.arm.fedoraproject.org
Archnoarch
Parent chainbuild (rawhide)
Descendants build
Waiting?no
Awaited?no
Priority19
Weight0.20
Result
Output