Information for task buildArch (Agda-2.5.4.2-17.fc31.src.rpm, riscv64)
| ID | 181172 |
|---|---|
| Method | buildArch |
| Parameters |
Arch: riscv64
Build tag: f31-build Keep srpm: True Pkg: tasks/288/180288/Agda-2.5.4.2-17.fc31.src.rpm Options: repo_id = 27022 |
| State | canceled |
| Created | Wed, 24 Jul 2019 08:59:04 UTC |
| Started | Wed, 24 Jul 2019 22:30:04 UTC |
| Completed | Mon, 29 Jul 2019 21:37:49 UTC |
| Total time | 132:38:45 |
| Task time | 119:07:44 |
| Owner | davidlt |
| Channel | default |
| Host | fedora-riscv-5.gcc130.osuosl.org |
| Arch | riscv64 |
| Buildroots |
/var/lib/mock/f31-build-48227-27022 /var/lib/mock/f31-build-50196-27022 |
| Parent | build (f31-candidate, /rpms/Agda.git:31025ad40ce0b23e7dd2923ecee9ad0b16dd8367) |
| Descendants | |
| Waiting? | no |
| Awaited? | yes |
| Priority | 19 |
| Weight | 1.50 |
| Result |
|
| Output |
build.log
(tail)
hw_info.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) |
