Tue, 10 Dec 2024 08:29:55 UTC | login

Information for task build (f37, /rpms/ghc-wai-handler-launch.git:4ad1ad27b74a47a1f2da0e3add94d558a5f42a61)

ID1279798
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/ghc-wai-handler-launch.git#4ad1ad27b74a47a1f2da0e3add94d558a5f42a61
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-wai-handler-launch-3.0.3.1-10.fc37
CreatedWed, 02 Nov 2022 20:21:46 UTC
StartedWed, 02 Nov 2022 20:22:05 UTC
CompletedThu, 03 Nov 2022 09:02:40 UTC
Total time 12:40:53
Task time 12:40:35
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