Sat, 23 Nov 2024 00:38:08 UTC | login

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

ID1510785
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-wai-extra.git#bde5703b82ea991ae3549df158a672850eb0bd13
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-wai-extra-3.1.13.0-4.fc40
CreatedMon, 20 Nov 2023 11:49:59 UTC
StartedMon, 20 Nov 2023 11:50:12 UTC
CompletedMon, 20 Nov 2023 14:03:32 UTC
Total time 2:13:33
Task time 2:13:20
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