Tue, 17 Dec 2024 02:47:15 UTC | login

Information for task build (f40, /rpms/ghc-resource-pool.git:b1242fa593fc0979d4c37a5792d63183ee0d2d04)

ID1600811
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-resource-pool.git#b1242fa593fc0979d4c37a5792d63183ee0d2d04
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-resource-pool-0.4.0.0-3.fc40
CreatedThu, 15 Feb 2024 08:27:59 UTC
StartedThu, 15 Feb 2024 08:28:08 UTC
CompletedThu, 15 Feb 2024 09:18:42 UTC
Total time 0:50:43
Task time 0:50:33
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