build (f40, /rpms/ghc-data-binary-ieee754.git:5a0553887cef80bdc210593ce9de786cd6de520b) | Task Info

ID	1503027
Method	build
Parameters	Build target: f40 Src: git+https://src.fedoraproject.org/rpms/ghc-data-binary-ieee754.git#5a0553887cef80bdc210593ce9de786cd6de520b Options: wait_builds = custom_user_metadata =
State	closed
Build	ghc-data-binary-ieee754-0.4.4-11.fc40
Created	Thu, 16 Nov 2023 13:42:37 UTC
Started	Thu, 16 Nov 2023 13:42:40 UTC
Completed	Thu, 16 Nov 2023 14:18:31 UTC
Total time	0:35:54
Task time	0:35:51
Owner	davidlt
Channel	default
Host	fedora-x86_64-1.fedora.riscv.rocks
Arch	noarch
Parent
Descendants	build buildSRPMFromSCM (/rpms/ghc-data-binary-ieee754.git:5a0553887cef80bdc210593ce9de786cd6de520b) buildArch (ghc-data-binary-ieee754-0.4.4-11.fc40.src.rpm, riscv64) tagBuild (noarch)
Waiting?	no
Awaited?	no
Priority	20
Weight	0.20
Result
Output