Mon, 17 Jun 2024 12:30:38 UTC | login

Information for task build (f31-candidate, /rpms/yices.git:706f3de7c19486984939cae210f79f5194948342)

ID186269
Methodbuild
Parameters Build target: f31-candidate
Src: git+https://src.fedoraproject.org/rpms/yices.git#706f3de7c19486984939cae210f79f5194948342
State closed
Buildyices-2.6.1-2.fc31
CreatedWed, 24 Jul 2019 16:28:42 UTC
StartedSun, 28 Jul 2019 13:03:02 UTC
CompletedSun, 28 Jul 2019 16:19:26 UTC
Total time 95:50:43
Task time 3:16:23
Owner davidlt
Channel default
Host builder2-x86.tranquillity.se
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output