Information for task buildArch (coq-8.17.1-6.fc40.src.rpm, riscv64)
ID | 1496824 |
---|---|
Method | buildArch |
Parameters |
Arch: riscv64
Build tag: f40-build Keep srpm: True Pkg: tasks/6801/1496801/coq-8.17.1-6.fc40.src.rpm Options: repo_id = 109312 |
State | closed |
Created | Mon, 13 Nov 2023 07:12:26 UTC |
Started | Mon, 13 Nov 2023 07:25:41 UTC |
Completed | Mon, 13 Nov 2023 11:05:23 UTC |
Total time | 3:52:57 |
Task time | 3:39:41 |
Owner | davidlt |
Channel | default |
Host | nujive.home.annexia.org |
Arch | riscv64 |
Buildroot |
/var/lib/mock/f40-build-739818-109312 |
Parent | build (f40, /rpms/coq.git:3a51072898d8d2a29bde004108dfc57136e6071c) |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 19 |
Weight | 1.50 |
Result |
rpms = tasks/6824/1496824/coq-core-debuginfo-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-coqide-server-debuginfo-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-core-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-coqide-server-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-debuginfo-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq- ...
rpms = tasks/6824/1496824/coq-core-debuginfo-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-coqide-server-debuginfo-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-core-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-coqide-server-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-debuginfo-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-debugsource-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-coqide-8.17.1-6.fc40.riscv64.rpm, tasks/6824/1496824/coq-coqide-debuginfo-8.17.1-6.fc40.riscv64.rpm
srpms = tasks/6824/1496824/coq-8.17.1-6.fc40.src.rpm logs = tasks/6824/1496824/state.log, tasks/6824/1496824/root.log, tasks/6824/1496824/hw_info.log, tasks/6824/1496824/build.log, tasks/6824/1496824/mock_output.log brootid = 739818 |
Output |
build.log
(tail)
hw_info.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) coq-8.17.1-6.fc40.riscv64.rpm coq-8.17.1-6.fc40.src.rpm coq-coqide-8.17.1-6.fc40.riscv64.rpm coq-coqide-debuginfo-8.17.1-6.fc40.riscv64.rpm coq-coqide-server-8.17.1-6.fc40.riscv64.rpm coq-coqide-server-debuginfo-8.17.1-6.fc40.riscv64.rpm coq-core-8.17.1-6.fc40.riscv64.rpm coq-core-debuginfo-8.17.1-6.fc40.riscv64.rpm coq-debuginfo-8.17.1-6.fc40.riscv64.rpm coq-debugsource-8.17.1-6.fc40.riscv64.rpm |