Sat, 22 Jun 2024 23:31:24 UTC | login

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

ID1603627
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-wai-extra.git#fb96de42f704b612da7a3bf4c3fe4023090d9c4f
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-wai-extra-3.1.13.0-6.fc40
CreatedSat, 17 Feb 2024 14:01:03 UTC
StartedSat, 17 Feb 2024 14:01:18 UTC
CompletedSat, 17 Feb 2024 14:39:38 UTC
Total time 0:38:35
Task time 0:38: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