Tue, 15 Jun 2021 04:21:53 UTC

Information for task build (f28-candidate, /rpms/Agda-stdlib.git:ea1ad25e63faeddba9b537db464f263f19f871a7)

ID28092782
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#ea1ad25e63faeddba9b537db464f263f19f871a7
Build Target: f28-candidate
State closed
BuildAgda-stdlib-0.15-1.fc28
CreatedMon, 09 Jul 2018 10:51:09 UTC
StartedMon, 09 Jul 2018 10:51:09 UTC
CompletedMon, 09 Jul 2018 11:14:26 UTC
Total time 0:23:17
Task time 0:23:17
Owner petersen
Channel default
Host buildvm-21.phx2.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output