Mon, 16 Dec 2024 13:42:30 UTC | login

Information for task build (f37, /rpms/ghc-setlocale.git:2d71c14157c531a846c9d5aef16a0ee3a74d0218)

ID1271774
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/ghc-setlocale.git#2d71c14157c531a846c9d5aef16a0ee3a74d0218
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-setlocale-1.0.0.10-4.fc37
CreatedThu, 27 Oct 2022 12:42:36 UTC
StartedFri, 28 Oct 2022 03:22:43 UTC
CompletedFri, 28 Oct 2022 08:59:05 UTC
Total time 20:16:28
Task time 5:36:21
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