Sat, 14 Dec 2024 06:24:09 UTC | login

Information for task build (f37, /rpms/ghc-basement.git:2301b802336177163a928edce357ab5ede843939)

ID1257366
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/ghc-basement.git#2301b802336177163a928edce357ab5ede843939
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-basement-0.0.14-2.fc37
CreatedMon, 17 Oct 2022 17:28:26 UTC
StartedMon, 17 Oct 2022 17:28:42 UTC
CompletedMon, 17 Oct 2022 22:14:48 UTC
Total time 4:46:22
Task time 4:46:06
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