Mon, 16 Dec 2024 07:38:41 UTC | login

Information for task build (f40, /rpms/ghc-extra.git:e87011049e0d20237c346e27df00711558c419d2)

ID1505717
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-extra.git#e87011049e0d20237c346e27df00711558c419d2
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-extra-1.7.14-1.fc40
CreatedSat, 18 Nov 2023 11:24:50 UTC
StartedSat, 18 Nov 2023 11:24:56 UTC
CompletedSat, 18 Nov 2023 11:48:43 UTC
Total time 0:23:53
Task time 0:23:46
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