Thu, 20 Jun 2024 15:50:43 UTC | login

Information for task build (f33, /rpms/ghc-djinn-ghc.git:467dece136cd60c75084c2eccd1a6ee18bd6a7a7)

ID627049
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/ghc-djinn-ghc.git#467dece136cd60c75084c2eccd1a6ee18bd6a7a7
Options:
  wait_builds = 
State closed
Buildghc-djinn-ghc-0.0.2.3-10.fc33
CreatedThu, 13 Aug 2020 10:16:13 UTC
StartedThu, 13 Aug 2020 10:18:53 UTC
CompletedThu, 13 Aug 2020 11:31:43 UTC
Total time 1:15:29
Task time 1:12:49
Owner davidlt
Channel default
Host fedora-riscv-10.gcc163.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output