Information for task buildArch (cvc5-1.1.2-1.fc40.src.rpm, riscv64)
| ID | 1686721 |
|---|---|
| Method | buildArch |
| Parameters |
Arch: riscv64
Build tag: f40-build Keep srpm: True Pkg: tasks/6524/1686524/cvc5-1.1.2-1.fc40.src.rpm Options: repo_id = 144785 |
| State | closed |
| Created | Sun, 14 Apr 2024 11:53:40 UTC |
| Started | Sun, 14 Apr 2024 13:00:26 UTC |
| Completed | Sun, 14 Apr 2024 16:37:01 UTC |
| Total time | 4:43:20 |
| Task time | 3:36:35 |
| Owner | davidlt |
| Channel | default |
| Host | unmatchedbuild02.davidlt.org |
| Arch | riscv64 |
| Buildroot |
/var/lib/mock/f40-build-805569-144785 |
| Parent | build (f40, /rpms/cvc5.git:c2a0fb2039edb3aa297f86f38bd0a4355d1ebc41) |
| Descendants | |
| Waiting? | no |
| Awaited? | no |
| Priority | 19 |
| Weight | 4.46 |
| Result |
rpms = tasks/6721/1686721/cvc5-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/python3-cvc5-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-libs-debuginfo-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-debuginfo-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-java-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/python3-cvc5-debuginfo-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-libs-1.1.2- ...
rpms = tasks/6721/1686721/cvc5-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/python3-cvc5-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-libs-debuginfo-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-debuginfo-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-java-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/python3-cvc5-debuginfo-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-libs-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-devel-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-debugsource-1.1.2-1.fc40.riscv64.rpm, tasks/6721/1686721/cvc5-java-debuginfo-1.1.2-1.fc40.riscv64.rpm
srpms = tasks/6721/1686721/cvc5-1.1.2-1.fc40.src.rpm logs = tasks/6721/1686721/hw_info.log, tasks/6721/1686721/state.log, tasks/6721/1686721/build.log, tasks/6721/1686721/root.log, tasks/6721/1686721/mock_output.log brootid = 805569 |
| Output |
build.log
(tail)
hw_info.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) cvc5-1.1.2-1.fc40.riscv64.rpm cvc5-1.1.2-1.fc40.src.rpm cvc5-debuginfo-1.1.2-1.fc40.riscv64.rpm cvc5-debugsource-1.1.2-1.fc40.riscv64.rpm cvc5-devel-1.1.2-1.fc40.riscv64.rpm cvc5-java-1.1.2-1.fc40.riscv64.rpm cvc5-java-debuginfo-1.1.2-1.fc40.riscv64.rpm cvc5-libs-1.1.2-1.fc40.riscv64.rpm cvc5-libs-debuginfo-1.1.2-1.fc40.riscv64.rpm python3-cvc5-1.1.2-1.fc40.riscv64.rpm python3-cvc5-debuginfo-1.1.2-1.fc40.riscv64.rpm |
