Sun, 15 Dec 2024 10:50:35 UTC | login

Information for task build (f37, /rpms/ghc-resourcet.git:5d50509237a6daa6eb53db3537ec661daa2e9982)

ID1277981
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/ghc-resourcet.git#5d50509237a6daa6eb53db3537ec661daa2e9982
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-resourcet-1.2.4.3-2.fc37
CreatedSun, 30 Oct 2022 16:56:59 UTC
StartedSun, 30 Oct 2022 16:57:08 UTC
CompletedSun, 30 Oct 2022 20:13:55 UTC
Total time 3:16:55
Task time 3:16:46
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