Tue, 22 Jun 2021 18:28:16 UTC

Information for task build (rawhide, /rpms/Agda-stdlib.git:262553a3a6e9c27396a8c8b4cfc09a4690dad8f7)

ID29235321
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#262553a3a6e9c27396a8c8b4cfc09a4690dad8f7
Build Target: rawhide
State closed
BuildAgda-stdlib-0.15-3.fc30
CreatedWed, 22 Aug 2018 21:08:24 UTC
StartedWed, 22 Aug 2018 21:08:24 UTC
CompletedWed, 22 Aug 2018 21:27:06 UTC
Total time 0:18:42
Task time 0:18:41
Owner petersen
Channel default
Host buildvm-aarch64-20.arm.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output