Tue, 26 Nov 2024 07:36:19 UTC | login

Information for task build (f37, /rpms/ghc-semigroupoids.git:e4bb37e7ffa8a96343a20472e03156cfd0ea75fc)

ID1278549
Methodbuild
Parameters Build target: f37
Src: git+https://src.fedoraproject.org/rpms/ghc-semigroupoids.git#e4bb37e7ffa8a96343a20472e03156cfd0ea75fc
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-semigroupoids-5.3.7-2.fc37
CreatedMon, 31 Oct 2022 07:47:39 UTC
StartedMon, 31 Oct 2022 10:20:47 UTC
CompletedTue, 01 Nov 2022 02:51:31 UTC
Total time 19:03:51
Task time 16:30:43
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