Mon, 16 Dec 2024 12:40:39 UTC | login

Information for task build (f38, /rpms/ghc-http-media.git:c9159817f283dbffe195d8bdd00b800879a32fd5)

ID1345516
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/ghc-http-media.git#c9159817f283dbffe195d8bdd00b800879a32fd5
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-http-media-0.8.0.0-17.fc38
CreatedMon, 06 Mar 2023 05:23:42 UTC
StartedTue, 07 Mar 2023 03:49:35 UTC
CompletedTue, 07 Mar 2023 13:13:58 UTC
Total time 31:50:16
Task time 9:24:23
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