Tue, 25 Feb 2020 10:05:51 UTC

Information for task build (rawhide, /rpms/yices.git:003f0f4a84ff8c10830ba90abb382678a4467f34)

ID40923667
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/yices.git#003f0f4a84ff8c10830ba90abb382678a4467f34
Build Target: rawhide
State closed
Buildyices-2.6.1-5.fc32
CreatedThu, 23 Jan 2020 17:09:38 UTC
StartedThu, 23 Jan 2020 17:09:38 UTC
CompletedThu, 23 Jan 2020 17:18:55 UTC
Total time 0:09:17
Task time 0:09:17
Owner jjames
Channel default
Host buildvm-armv7-06.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output