Thu, 24 Jun 2021 16:57:56 UTC

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

ID47546337
Methodbuild
Parameters Source: git+https://src.fedoraproject.org/rpms/Agda-stdlib.git#cad8a31f37d578726f81c07acee0d3cbb589ccf3
Build Target: f33-build-side-25385
Options:
  fail_fast = True
  wait_builds = 
State closed
BuildAgda-stdlib-1.3-2.fc33
CreatedTue, 21 Jul 2020 05:01:38 UTC
StartedTue, 21 Jul 2020 05:01:39 UTC
CompletedTue, 21 Jul 2020 05:36:41 UTC
Total time 0:35:03
Task time 0:35:02
Owner petersen
Channel default
Host buildvm-x86-28.iad2.fedoraproject.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority25
Weight0.20
Result
Output