Sat, 14 Dec 2024 05:17:10 UTC | login

Information for task build (f40, /rpms/ghc-time-manager.git:0393a703ccb33838b853b2cf0d850d5f2e47b735)

ID1507371
Methodbuild
Parameters Build target: f40
Src: git+https://src.fedoraproject.org/rpms/ghc-time-manager.git#0393a703ccb33838b853b2cf0d850d5f2e47b735
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-time-manager-0.0.0-17.fc40
CreatedSat, 18 Nov 2023 20:14:56 UTC
StartedSat, 18 Nov 2023 20:15:04 UTC
CompletedSun, 19 Nov 2023 06:43:02 UTC
Total time 10:28:05
Task time 10:27:57
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