Mon, 16 Dec 2024 20:58:35 UTC | login

Information for task build (f38, /rpms/ghc-semigroupoids.git:9df6c209ff84929524a7dc066888e9b467dc5de3)

ID1399389
Methodbuild
Parameters Build target: f38
Src: git+https://src.fedoraproject.org/rpms/ghc-semigroupoids.git#9df6c209ff84929524a7dc066888e9b467dc5de3
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-semigroupoids-5.3.7-4.fc38
CreatedThu, 13 Apr 2023 14:12:09 UTC
StartedThu, 13 Apr 2023 14:12:18 UTC
CompletedThu, 13 Apr 2023 15:11:33 UTC
Total time 0:59:23
Task time 0:59:14
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