Tue, 19 Nov 2024 23:36:56 UTC | login

Information for task build (f37, /rpms/ghc-resource-pool.git:8fcf85b5b800c0013ae6ab66dd460b3c9d24bfd9)

ID1278544
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/ghc-resource-pool.git#8fcf85b5b800c0013ae6ab66dd460b3c9d24bfd9
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-resource-pool-0.2.3.2-26.fc37
CreatedMon, 31 Oct 2022 07:47:01 UTC
StartedMon, 31 Oct 2022 09:59:14 UTC
CompletedTue, 01 Nov 2022 01:52:44 UTC
Total time 18:05:42
Task time 15:53:30
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output