Mon, 02 Dec 2024 21:53:47 UTC | login

Information for task build (f30-candidate, z3-4.8.4-1.fc30.src.rpm)

ID154479
Methodbuild
Parameters Build target: f30-candidate
Src: cli-build/1547243048.2010236.ChBdyrpP/z3-4.8.4-1.fc30.src.rpm
State closed
Buildz3-4.8.4-1.fc30
CreatedSat, 12 Jan 2019 06:44:10 UTC
StartedSat, 12 Jan 2019 06:44:14 UTC
CompletedSat, 12 Jan 2019 11:44:26 UTC
Total time 5:00:16
Task time 5:00:11
Owner davidlt
Channel default
Host fedora-riscv-4.gcc161.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output