Mon, 16 Dec 2024 13:38:13 UTC | login

Information for task build (f38, /rpms/ghc-ieee754.git:923fb7a633e4fab73b75eaa1a44bf88e7ec53edb)

ID1344387
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/ghc-ieee754.git#923fb7a633e4fab73b75eaa1a44bf88e7ec53edb
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-ieee754-0.8.0-27.fc38
CreatedSun, 05 Mar 2023 14:18:02 UTC
StartedSun, 05 Mar 2023 18:34:22 UTC
CompletedMon, 06 Mar 2023 03:10:43 UTC
Total time 12:52:41
Task time 8: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