Tue, 17 Dec 2024 03:03:03 UTC | login

Information for task build (f33, /rpms/ghc-resource-pool.git:b388f62b747a18dbc30ebeda51c44b514a0ba375)

ID628335
Methodbuild
Parameters Build target: f33
Src: git+https://src.fedoraproject.org/rpms/ghc-resource-pool.git#b388f62b747a18dbc30ebeda51c44b514a0ba375
Options:
  wait_builds = 
State closed
Buildghc-resource-pool-0.2.3.2-20.fc33
CreatedThu, 13 Aug 2020 10:38:02 UTC
StartedThu, 13 Aug 2020 14:59:27 UTC
CompletedThu, 13 Aug 2020 15:50:40 UTC
Total time 5:12:37
Task time 0:51:12
Owner davidlt
Channel default
Host fedora-riscv-12.gcc144.osuosl.org
Archnoarch
Parent
Descendants closed build
Waiting?no
Awaited?no
Priority20
Weight0.20
Result
Output