Sat, 08 Aug 2020 12:33:54 UTC

Information for task build (f32-candidate, /rpms/yices.git:26ecb5e37f7ca9b6f55f7769242761890fb434bd)

ID42786399
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/yices.git#26ecb5e37f7ca9b6f55f7769242761890fb434bd
Build Target: f32-candidate
State closed
Buildyices-2.6.2-1.fc32
CreatedThu, 26 Mar 2020 22:46:11 UTC
StartedThu, 26 Mar 2020 22:46:11 UTC
CompletedThu, 26 Mar 2020 22:57:41 UTC
Total time 0:11:30
Task time 0:11:30
Owner jjames
Channel default
Host buildvm-25.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output