Thu, 18 Aug 2022 11:40:38 UTC

Information for task build (f36, /rpms/Agda.git:f21a1029c67dc1778b226edad0367d975835fded)

ID84782040
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda.git#f21a1029c67dc1778b226edad0367d975835fded
Build Target: f36
Options:
  fail_fast = True
  wait_builds = 
  custom_user_metadata = 
State closed
BuildAgda-2.6.2.1-35.fc36
CreatedSun, 27 Mar 2022 09:28:41 UTC
StartedSun, 27 Mar 2022 13:49:31 UTC
CompletedSun, 27 Mar 2022 14:25:42 UTC
Total time 4:57:01
Task time 0:36:10
Owner petersen
Channel default
Host buildvm-ppc64le-29.iad2.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output