Information for task build (f32-candidate, /rpms/why3.git:b5b1f855be903015c9ce6934d7752b966748a917)
ID | 42809625 |
---|---|
Method | build |
Parameters |
Source: git+https://src.fedoraproject.org/rpms/why3.git#b5b1f855be903015c9ce6934d7752b966748a917 Build Target: f32-candidate |
State | closed |
Build | why3-1.3.1-1.fc32 |
Created | Fri, 27 Mar 2020 22:36:27 UTC |
Started | Fri, 27 Mar 2020 22:36:27 UTC |
Completed | Fri, 27 Mar 2020 22:52:39 UTC |
Total time | 0:16:12 |
Task time | 0:16:12 |
Owner | jjames |
Channel | default |
Host | buildvm-aarch64-16.arm.fedoraproject.org |
Arch | noarch |
Parent | |
Descendants |
build
|
Waiting? | no |
Awaited? | no |
Priority | 20 |
Weight | 0.20 |
Result |
|
Output |