Information for task buildArch (cbmc-5.17.0-1.fc33.src.rpm, riscv64)
| ID | 752077 |
|---|---|
| Method | buildArch |
| Parameters |
Arch: riscv64
Build tag: f33-build Keep srpm: True Pkg: tasks/1814/751814/cbmc-5.17.0-1.fc33.src.rpm Options: repo_id = 60044 |
| State | closed |
| Created | Sat, 28 Nov 2020 14:37:07 UTC |
| Started | Sat, 28 Nov 2020 14:37:55 UTC |
| Completed | Sun, 29 Nov 2020 03:05:41 UTC |
| Total time | 12:28:33 |
| Task time | 12:27:45 |
| Owner | davidlt |
| Channel | default |
| Host | fedora-riscv-7.gcc164.osuosl.org |
| Arch | riscv64 |
| Buildroot |
/var/lib/mock/f33-build-352569-60044 |
| Parent | build (f33, /rpms/cbmc.git:105037ee52208e3e1dfdfb9cd954a14bfc3b4865) |
| Descendants | |
| Waiting? | no |
| Awaited? | no |
| Priority | 19 |
| Weight | 6.00 |
| Result |
rpms = tasks/2077/752077/cbmc-debugsource-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-utils-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-doc-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-debuginfo-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-5.17.0-1.fc33.riscv64.rpm
srpms = tasks/2077/752077/cbmc-5.17.0-1.fc33.src.rpm logs = tasks/2077/752077/root.log, tasks/2077/752077/build.log, t ...
rpms = tasks/2077/752077/cbmc-debugsource-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-utils-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-doc-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-debuginfo-5.17.0-1.fc33.riscv64.rpm, tasks/2077/752077/cbmc-5.17.0-1.fc33.riscv64.rpm
srpms = tasks/2077/752077/cbmc-5.17.0-1.fc33.src.rpm logs = tasks/2077/752077/root.log, tasks/2077/752077/build.log, tasks/2077/752077/hw_info.log, tasks/2077/752077/state.log, tasks/2077/752077/mock_output.log brootid = 352569 |
| Output |
build.log
(tail)
hw_info.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) cbmc-5.17.0-1.fc33.riscv64.rpm cbmc-5.17.0-1.fc33.src.rpm cbmc-debuginfo-5.17.0-1.fc33.riscv64.rpm cbmc-debugsource-5.17.0-1.fc33.riscv64.rpm cbmc-doc-5.17.0-1.fc33.riscv64.rpm cbmc-utils-5.17.0-1.fc33.riscv64.rpm |
