Thu, 18 Aug 2022 11:03:22 UTC

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

ID84470844
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda.git#f21a1029c67dc1778b226edad0367d975835fded
Build Target: rawhide
Options:
  fail_fast = True
  wait_builds = 
  custom_user_metadata = 
State closed
BuildAgda-2.6.2.1-35.fc37
CreatedSun, 20 Mar 2022 14:02:42 UTC
StartedSun, 20 Mar 2022 14:02:43 UTC
CompletedSun, 20 Mar 2022 18:59:05 UTC
Total time 4:56:23
Task time 4:56:21
Owner petersen
Channel default
Host buildvm-x86-11.iad2.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output