Information for task build (dist-c8, /rpms/ghc-resourcet.git:eee595ce46b6c1da1d533fef2cb3f165f9af0b47)
ID | 28636 |
---|---|
Method | build |
Parameters |
Build target: dist-c8
Src: git+https://git.centos.org/rpms/ghc-resourcet.git?#eee595ce46b6c1da1d533fef2cb3f165f9af0b47 |
State | closed |
Build | ghc-resourcet-1.1.10-3.el8 |
Created | Sat, 18 May 2019 23:04:23 UTC |
Started | Sat, 18 May 2019 23:04:29 UTC |
Completed | Sat, 18 May 2019 23:13:45 UTC |
Total time | 0:09:22 |
Task time | 0:09:16 |
Owner | bstinson |
Channel | default |
Host | ppc64le-01.mbox.centos.org |
Arch | noarch |
Parent | |
Descendants |
build
|
Waiting? | no |
Awaited? | no |
Priority | 20 |
Weight | 0.20 |
Result |
|
Output |