Mon, 16 Dec 2024 08:46:33 UTC | login

Information for task build (f38, /rpms/ghc-extra.git:9d1c6adaa275fb15336ccf1134591e32fb254cc5)

ID1344291
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/ghc-extra.git#9d1c6adaa275fb15336ccf1134591e32fb254cc5
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-extra-1.7.12-2.fc38
CreatedSun, 05 Mar 2023 14:15:31 UTC
StartedSun, 05 Mar 2023 15:50:30 UTC
CompletedSun, 05 Mar 2023 18:44:35 UTC
Total time 4:29:03
Task time 2:54:04
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