Wed, 11 Dec 2024 19:55:48 UTC | login

Information for task build (f31-candidate, /rpms/z3.git:1f2d60975bd2d36519a1c3e61ae77f5d685ee72b)

ID186284
Methodbuild
Parameters Build target: f31-candidate
Src: git+https://src.fedoraproject.org/rpms/z3.git#1f2d60975bd2d36519a1c3e61ae77f5d685ee72b
State closed
Buildz3-4.8.5-2.fc31
CreatedWed, 24 Jul 2019 16:30:33 UTC
StartedSun, 28 Jul 2019 13:09:14 UTC
CompletedMon, 29 Jul 2019 10:46:06 UTC
Total time 114:15:32
Task time 21:36:51
Owner davidlt
Channel default
Host fedora-riscv-10.gcc165.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output