Information for task buildArch (coq-8.18.0-5.fc41.src.rpm, riscv64)
ID | 1702785 |
---|---|
Method | buildArch |
Parameters |
Arch: riscv64
Build tag: f41-build Keep srpm: True Pkg: tasks/2642/1702642/coq-8.18.0-5.fc41.src.rpm Options: repo_id = 147589 |
State | closed |
Created | Tue, 04 Jun 2024 13:49:55 UTC |
Started | Tue, 04 Jun 2024 14:21:37 UTC |
Completed | Tue, 04 Jun 2024 15:48:25 UTC |
Total time | 1:58:30 |
Task time | 1:26:48 |
Owner | davidlt |
Channel | default |
Host | milkvpioneer01.davidlt.org |
Arch | riscv64 |
Buildroot |
/var/lib/mock/f41-build-811865-147589 |
Parent | build (f41, /rpms/coq.git:61f2b04a6512841f273b1a7d479329b2b6a63806) |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 19 |
Weight | 6.00 |
Result |
rpms = tasks/2785/1702785/coq-coqide-server-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-coqide-server-debuginfo-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-core-debuginfo-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-core-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-debuginfo-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq- ...
rpms = tasks/2785/1702785/coq-coqide-server-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-coqide-server-debuginfo-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-core-debuginfo-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-core-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-debuginfo-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-coqide-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-coqide-debuginfo-8.18.0-5.fc41.riscv64.rpm, tasks/2785/1702785/coq-debugsource-8.18.0-5.fc41.riscv64.rpm
srpms = tasks/2785/1702785/coq-8.18.0-5.fc41.src.rpm logs = tasks/2785/1702785/state.log, tasks/2785/1702785/hw_info.log, tasks/2785/1702785/build.log, tasks/2785/1702785/root.log, tasks/2785/1702785/mock_output.log brootid = 811865 |
Output |
build.log
(tail)
hw_info.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) coq-8.18.0-5.fc41.riscv64.rpm coq-8.18.0-5.fc41.src.rpm coq-coqide-8.18.0-5.fc41.riscv64.rpm coq-coqide-debuginfo-8.18.0-5.fc41.riscv64.rpm coq-coqide-server-8.18.0-5.fc41.riscv64.rpm coq-coqide-server-debuginfo-8.18.0-5.fc41.riscv64.rpm coq-core-8.18.0-5.fc41.riscv64.rpm coq-core-debuginfo-8.18.0-5.fc41.riscv64.rpm coq-debuginfo-8.18.0-5.fc41.riscv64.rpm coq-debugsource-8.18.0-5.fc41.riscv64.rpm |