Wed, 08 Dec 2021 01:44:00 UTC

Information for task build (f29-ghc, /rpms/Agda.git:054a111019545f428972228efe5441f4065c0534)

ID28731383
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda.git#054a111019545f428972228efe5441f4065c0534
Build Target: f29-ghc
Options:
  fail_fast = True
State closed
BuildAgda-2.5.3-14.fc29
CreatedTue, 31 Jul 2018 08:36:26 UTC
StartedTue, 31 Jul 2018 08:36:27 UTC
CompletedTue, 31 Jul 2018 13:43:09 UTC
Total time 5:06:43
Task time 5:06:41
Owner petersen
Channel default
Host buildvm-08.phx2.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output