Thu, 12 Dec 2024 14:31:34 UTC | login

Information for task buildArch (coq-8.17.1-6.fc40.src.rpm, riscv64)

ID1496824
MethodbuildArch
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
CreatedMon, 13 Nov 2023 07:12:26 UTC
StartedMon, 13 Nov 2023 07:25:41 UTC
CompletedMon, 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
Archriscv64
Buildroot /var/lib/mock/f40-build-739818-109312
Parent build (f40, /rpms/coq.git:3a51072898d8d2a29bde004108dfc57136e6071c)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.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