Wed, 21 Aug 2019 07:55:25 UTC

Information for task build (f30-candidate, /rpms/z3.git:fb4076ae94cd4d32faa37213383d9f23e8d27fe5)

ID35734244
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/z3.git#fb4076ae94cd4d32faa37213383d9f23e8d27fe5
Build Target: f30-candidate
State closed
Buildz3-4.8.5-1.fc30
CreatedSat, 22 Jun 2019 18:59:15 UTC
StartedSat, 22 Jun 2019 18:59:15 UTC
CompletedSat, 22 Jun 2019 20:53:49 UTC
Owner jjames
Channel default
Host buildvm-armv7-05.arm.fedoraproject.org
Archnoarch
Parent
Descendants build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output