Mon, 16 Dec 2024 20:38:14 UTC | login

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

ID1455236
Methodbuild
Parameters Build target: f38
Src: git+http://fedora.riscv.rocks:3000/rpms/ghc-semigroupoids.git#1d9444cdbecc4b99f75ae3bddd511400e55c858d
Options:
  wait_builds = 
  custom_user_metadata = 
State closed
Buildghc-semigroupoids-5.3.7-5.rvre0.fc38
CreatedSun, 25 Jun 2023 14:46:21 UTC
StartedSun, 25 Jun 2023 14:46:33 UTC
CompletedSun, 25 Jun 2023 15:38:51 UTC
Total time 0:52:30
Task time 0:52:18
Owner davidlt
Channel default
Host fedora-x86_64-1.fedora.riscv.rocks
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority13
Weight0.20
Result
Output