Fri, 05 Jun 2020 18:08:46 UTC

Information for task build (rawhide, /rpms/yices.git:26ecb5e37f7ca9b6f55f7769242761890fb434bd)

ID42784715
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/yices.git#26ecb5e37f7ca9b6f55f7769242761890fb434bd
Build Target: rawhide
State closed
Buildyices-2.6.2-1.fc33
CreatedThu, 26 Mar 2020 21:28:01 UTC
StartedThu, 26 Mar 2020 21:28:06 UTC
CompletedThu, 26 Mar 2020 21:40:04 UTC
Total time 0:12:03
Task time 0:11:58
Owner jjames
Channel default
Host buildhw-11.phx2.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output