Fri, 18 Oct 2019 16:06:33 UTC

Information for task build (rawhide, /rpms/z3.git:fb4076ae94cd4d32faa37213383d9f23e8d27fe5)

ID35723555
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/z3.git#fb4076ae94cd4d32faa37213383d9f23e8d27fe5
Build Target: rawhide
State closed
Buildz3-4.8.5-1.fc31
CreatedSat, 22 Jun 2019 15:11:47 UTC
StartedSat, 22 Jun 2019 15:11:49 UTC
CompletedSat, 22 Jun 2019 17:01:26 UTC
Total time 1:49:39
Task time 1:49:37
Owner jjames
Channel default
Host buildvm-armv7-15.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output