Thu, 27 Jun 2024 02:24:19 UTC | login

Information for task buildArch (coq-8.18.0-5.fc41.src.rpm, riscv64)

ID1702785
MethodbuildArch
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
CreatedTue, 04 Jun 2024 13:49:55 UTC
StartedTue, 04 Jun 2024 14:21:37 UTC
CompletedTue, 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
Archriscv64
Buildroot /var/lib/mock/f41-build-811865-147589
Parent build (f41, /rpms/coq.git:61f2b04a6512841f273b1a7d479329b2b6a63806)
Descendants
Waiting?no
Awaited?no
Priority19
Weight6.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