Mon, 21 Jun 2021 09:03:00 UTC

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

ID29360442
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#6fa5d455eedd87d6f45f80281569f71624667d74
Build Target: f28-candidate
State closed
BuildAgda-stdlib-0.15-4.fc28
CreatedWed, 29 Aug 2018 04:29:47 UTC
StartedWed, 29 Aug 2018 04:29:49 UTC
CompletedWed, 29 Aug 2018 04:52:02 UTC
Total time 0:22:15
Task time 0:22:13
Owner petersen
Channel default
Host buildvm-armv7-20.arm.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output