Fri, 29 Nov 2024 15:01:40 UTC | login

Information for task build (f29-candidate, yices-2.5.4-3.fc29.src.rpm)

ID47439
Methodbuild
Parameters Build target: f29-candidate
Src: cli-build/1529871318.2980568.mruxiyEL/yices-2.5.4-3.fc29.src.rpm
State closed
Buildyices-2.5.4-3.fc29
CreatedMon, 25 Jun 2018 05:15:36 UTC
StartedMon, 25 Jun 2018 22:35:02 UTC
CompletedTue, 26 Jun 2018 00:34:40 UTC
Total time 19:19:03
Task time 1:59:37
Owner davidlt
Channel default
Host builder2-x86.tranquillity.se
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output