Sun, 22 May 2022 20:28:33 UTC

Information for task build (f23-candidate, /cryptominisat4:9d4b4bc95b17c3d0c5e3c4e198d6f1250d9763ce)

ID10890555
Methodbuild
Parameters Source: git://pkgs.fedoraproject.org/cryptominisat4?#9d4b4bc95b17c3d0c5e3c4e198d6f1250d9763ce
Build Target: f23-candidate
State closed
Buildcryptominisat4-4.5.3-2.fc23
CreatedSun, 30 Aug 2015 22:24:00 UTC
StartedSun, 30 Aug 2015 22:24:02 UTC
CompletedSun, 30 Aug 2015 22:34:08 UTC
Total time 0:10:08
Task time 0:10:06
Owner jjames
Channel default
Host arm04-builder17.arm.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output