Tue, 19 Mar 2024 09:43:50 UTC | login

Information for task build (f29-candidate, /rpms/z3.git:801e577186b910e6266b2fc740a0dc52e4d6b423)

ID9433
Methodbuild
Parameters Build target: f29-candidate
Src: git+https://src.fedoraproject.org/rpms/z3.git?#801e577186b910e6266b2fc740a0dc52e4d6b423
State closed
Buildz3-4.6.0-2.fc29
CreatedTue, 22 May 2018 20:05:03 UTC
StartedMon, 28 May 2018 08:12:34 UTC
CompletedMon, 28 May 2018 12:59:10 UTC
Total time 136:54:07
Task time 4:46:36
Owner davidlt
Channel default
Host builder2-x86.tranquillity.se
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output