Information for task buildArch (coq-8.18.0-1.fc40.src.rpm, riscv64)
ID | 1587743 |
---|---|
Method | buildArch |
Parameters |
Arch: riscv64
Build tag: f40-build Keep srpm: True Pkg: tasks/7326/1587326/coq-8.18.0-1.fc40.src.rpm Options: repo_id = 126039 |
State | closed |
Created | Thu, 04 Jan 2024 17:37:08 UTC |
Started | Sat, 06 Jan 2024 15:35:19 UTC |
Completed | Sat, 06 Jan 2024 19:03:10 UTC |
Total time | 49:26:02 |
Task time | 3:27:50 |
Owner | davidlt |
Channel | default |
Host | unmatchedbuild10.davidlt.org |
Arch | riscv64 |
Buildroots |
/var/lib/mock/f40-build-771908-126039 /var/lib/mock/f40-build-771929-126039 |
Parent | build (f40, /rpms/coq.git:ade58869f3a7d6b2a0ca17764dd01835a7a9c6bd) |
Descendants | |
Waiting? | no |
Awaited? | no |
Priority | 19 |
Weight | 5.42 |
Result |
rpms = tasks/7743/1587743/coq-coqide-server-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-core-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debugsource-8.18.0-1.fc40.riscv64.rpm, tasks/7743/15 ...
rpms = tasks/7743/1587743/coq-coqide-server-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-core-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debugsource-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-server-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-core-8.18.0-1.fc40.riscv64.rpm
srpms = tasks/7743/1587743/coq-8.18.0-1.fc40.src.rpm logs = tasks/7743/1587743/hw_info.log, tasks/7743/1587743/state.log, tasks/7743/1587743/build.log, tasks/7743/1587743/root.log, tasks/7743/1587743/mock_output.log brootid = 771929 |
Output |
build.log
(tail)
hw_info.log (tail) mock_output.log (tail) root.log (tail) state.log (tail) coq-8.18.0-1.fc40.riscv64.rpm coq-8.18.0-1.fc40.src.rpm coq-coqide-8.18.0-1.fc40.riscv64.rpm coq-coqide-debuginfo-8.18.0-1.fc40.riscv64.rpm coq-coqide-server-8.18.0-1.fc40.riscv64.rpm coq-coqide-server-debuginfo-8.18.0-1.fc40.riscv64.rpm coq-core-8.18.0-1.fc40.riscv64.rpm coq-core-debuginfo-8.18.0-1.fc40.riscv64.rpm coq-debuginfo-8.18.0-1.fc40.riscv64.rpm coq-debugsource-8.18.0-1.fc40.riscv64.rpm |