Information for task build (f32-candidate, coq-8.11.0-2.fc32.src.rpm)
| ID | 42808115 |
|---|---|
| Method | build |
| Parameters |
Source: cli-build/1585344536.6628022.BFTSMsFZ/coq-8.11.0-2.fc32.src.rpm Build Target: f32-candidate Options: scratch = True |
| State | closed |
| Created | Fri, 27 Mar 2020 21:28:58 UTC |
| Started | Fri, 27 Mar 2020 21:28:59 UTC |
| Completed | Fri, 27 Mar 2020 22:17:42 UTC |
| Total time | 0:48:44 |
| Task time | 0:48:43 |
| Owner | jjames |
| Channel | default |
| Host | buildvm-armv7-24.arm.fedoraproject.org |
| Arch | noarch |
| Parent | |
| Descendants | build |
| Waiting? | no |
| Awaited? | no |
| Priority | 20 |
| Weight | 0.20 |
| Result |
|
| Output |
