Mon, 16 Dec 2024 15:45:45 UTC | login

Information for task build (f41, /rpms/ghc-erf.git:9a78944bc8ad0913f600f1ad597715f06cdc99ed)

ID1773454
Methodbuild
Parameters Build target: f41
Src: git+https://src.fedoraproject.org/rpms/ghc-erf.git#9a78944bc8ad0913f600f1ad597715f06cdc99ed
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-erf-2.0.0.0-33.fc41
CreatedSun, 11 Aug 2024 08:03:56 UTC
StartedSun, 11 Aug 2024 08:04:11 UTC
CompletedSun, 11 Aug 2024 08:30:27 UTC
Total time 0:26:31
Task time 0:26:16
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