Tue, 03 Dec 2024 21:16:33 UTC | login

Information for task buildArch (cbmc-5.10-1.fc30.src.rpm, riscv64)

ID138958
MethodbuildArch
Parameters Arch: riscv64
Build tag: f30-build
Keep srpm: True
Pkg: cli-build/1543612080.2359908.lEkqbdwL/cbmc-5.10-1.fc30.src.rpm
Options:
  repo_id = 20535
State closed
CreatedWed, 05 Dec 2018 11:11:18 UTC
StartedWed, 05 Dec 2018 11:11:20 UTC
CompletedWed, 05 Dec 2018 14:44:37 UTC
Total time 3:33:19
Task time 3:33:16
Owner davidlt
Channel default
Host hifive.delorie.com
Archriscv64
Buildroot /var/lib/mock/f30-build-36374-20535
Parent build (f30-candidate, cbmc-5.10-1.fc30.src.rpm)
Descendants
Waiting?no
Awaited?no
Priority19
Weight6.00
Result
brootid = 36374
rpms = tasks/8958/138958/cbmc-5.10-1.fc30.riscv64.rpm, tasks/8958/138958/cbmc-doc-5.10-1.fc30.riscv64.rpm, tasks/8958/138958/cbmc-debuginfo-5.10-1.fc30.riscv64.rpm, tasks/8958/138958/cbmc-debugsource-5.10-1.fc30.riscv64.rpm
srpms = tasks/8958/138958/cbmc-5.10-1.fc30.src.rpm
logs = tasks/8958/138958/root.log, tasks/8958/138958/build.log, tasks/8958/138958/hw_info.log, tasks/8958/138958/state. ...
brootid = 36374
rpms = tasks/8958/138958/cbmc-5.10-1.fc30.riscv64.rpm, tasks/8958/138958/cbmc-doc-5.10-1.fc30.riscv64.rpm, tasks/8958/138958/cbmc-debuginfo-5.10-1.fc30.riscv64.rpm, tasks/8958/138958/cbmc-debugsource-5.10-1.fc30.riscv64.rpm
srpms = tasks/8958/138958/cbmc-5.10-1.fc30.src.rpm
logs = tasks/8958/138958/root.log, tasks/8958/138958/build.log, tasks/8958/138958/hw_info.log, tasks/8958/138958/state.log, tasks/8958/138958/mock_output.log
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
cbmc-5.10-1.fc30.riscv64.rpm
cbmc-5.10-1.fc30.src.rpm
cbmc-debuginfo-5.10-1.fc30.riscv64.rpm
cbmc-debugsource-5.10-1.fc30.riscv64.rpm
cbmc-doc-5.10-1.fc30.riscv64.rpm