Sat, 15 Jun 2024 18:25:06 UTC | login

Information for task build (f38, /rpms/ghc-wai-extra.git:5132cf36cc3728e8c57a73f5028edac754d3125e)

ID1455854
Methodbuild
Parameters Build target: f38
Src: git+http://fedora.riscv.rocks:3000/rpms/ghc-wai-extra.git#5132cf36cc3728e8c57a73f5028edac754d3125e
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-wai-extra-3.1.13.0-3.rvre0.fc38
CreatedMon, 26 Jun 2023 07:59:11 UTC
StartedMon, 26 Jun 2023 07:59:16 UTC
CompletedMon, 26 Jun 2023 08:48:38 UTC
Total time 0:49:27
Task time 0:49:22
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority13
Weight0.20
Result
Output