Information for task buildArch (Agda-stdlib-1.1-1.fc31.src.rpm, riscv64)
| ID | 309228 |
|---|---|
| Method | buildArch |
| Parameters |
Arch: riscv64
Build tag: f31-build Keep srpm: True Pkg: tasks/7732/307732/Agda-stdlib-1.1-1.fc31.src.rpm Options: repo_id = 34329 |
| State | failed |
| Created | Sat, 21 Sep 2019 10:47:51 UTC |
| Started | Sat, 21 Sep 2019 10:51:34 UTC |
| Completed | Sat, 21 Sep 2019 10:53:00 UTC |
| Total time | 0:05:08 |
| Task time | 0:01:26 |
| Owner | davidlt |
| Channel | default |
| Host | fedora-riscv-8.gcc145.osuosl.org |
| Arch | riscv64 |
| Buildroot |
/var/lib/mock/f31-build-113153-34329 |
| Parent | build (f31-candidate, /rpms/Agda-stdlib.git:ed74755a2e8bb2f385fc1fa4d12fb2373517a3c0) |
| Descendants | |
| Waiting? | no |
| Awaited? | no |
| Priority | 19 |
| Weight | 1.50 |
| Result |
BuildrootError: could not init mock buildroot, mock was killed by signal 11; see root.log for more information |
| Output |
mock_output.log
(tail)
|
