Fri, 18 Jun 2021 22:26:02 UTC

Information for task build (f24-rebuild, /Agda-stdlib:efc162578c655ab561e097683cf23d0b5d755f19)

ID12803983
Methodbuild
Parameters Source: git://pkgs.fedoraproject.org/Agda-stdlib?#efc162578c655ab561e097683cf23d0b5d755f19
Build Target: f24-rebuild
State closed
BuildAgda-stdlib-0.9-3.fc24
CreatedWed, 03 Feb 2016 15:19:00 UTC
StartedWed, 03 Feb 2016 15:19:04 UTC
CompletedWed, 03 Feb 2016 15:31:00 UTC
Total time 0:11:59
Task time 0:11:55
Owner releng
Channel default
Host buildppcle-04.phx2.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority25
Weight0.20
Result
Output