Tue, 22 Jun 2021 18:27:46 UTC

Information for task build (f33, /rpms/Agda-stdlib.git:c7c6fe2383196ade9653ec9e2f063d22e96dfe27)

ID50144249
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#c7c6fe2383196ade9653ec9e2f063d22e96dfe27
Build Target: f33
Options:
  fail_fast = True
  wait_builds = 
State closed
BuildAgda-stdlib-1.3-4.fc33
CreatedTue, 25 Aug 2020 15:59:45 UTC
StartedTue, 25 Aug 2020 15:59:48 UTC
CompletedTue, 25 Aug 2020 16:20:58 UTC
Total time 0:21:13
Task time 0:21:09
Owner petersen
Channel default
Host buildvm-s390x-19.s390.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output