Fri, 18 Jun 2021 19:30:05 UTC

Information for task build (f32-rebuild, /rpms/Agda-stdlib.git:011ee613690eab15e67ffe1f32c55a6d896980fc)

ID41124170
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#011ee613690eab15e67ffe1f32c55a6d896980fc
Build Target: f32-rebuild
State closed
BuildAgda-stdlib-1.1-2.fc32
CreatedTue, 28 Jan 2020 09:11:04 UTC
StartedTue, 28 Jan 2020 09:11:24 UTC
CompletedTue, 28 Jan 2020 09:35:40 UTC
Total time 0:24:36
Task time 0:24:16
Owner releng
Channel default
Host buildvm-aarch64-20.arm.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority25
Weight0.20
Result
Output