Wed, 05 Jun 2024 03:57:13 UTC | login

Information for task buildArch (cvc4-1.8-15.rvre0.fc38.src.rpm, riscv64)

ID1408640
MethodbuildArch
Parameters Arch: riscv64
Build tag: f38-build
Keep srpm: True
Pkg: tasks/8521/1408521/cvc4-1.8-15.rvre0.fc38.src.rpm
Options:
  repo_id = 93299
State closed
CreatedWed, 10 May 2023 12:06:03 UTC
StartedWed, 10 May 2023 12:34:30 UTC
CompletedWed, 10 May 2023 17:24:28 UTC
Total time 5:18:25
Task time 4:49:57
Owner davidlt
Channel default
Host unmatchedbuild12.davidlt.org
Archriscv64
Buildroot /var/lib/mock/f38-build-710256-93299
Parent build (f38, /rpms/cvc4.git:4e00685c973bfa758bd0dc19c25ffadfc8e43d2b)
Descendants
Waiting?no
Awaited?no
Priority12
Weight5.12
Result
rpms = tasks/8640/1408640/cvc4-libs-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-libs-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-python3-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-python3-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-debugsource-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-1.8-15.rvre0.fc38.riscv64.rpm, tas ...
rpms = tasks/8640/1408640/cvc4-libs-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-libs-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-python3-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-python3-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-debugsource-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-java-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-devel-1.8-15.rvre0.fc38.riscv64.rpm, tasks/8640/1408640/cvc4-java-1.8-15.rvre0.fc38.riscv64.rpm
srpms = tasks/8640/1408640/cvc4-1.8-15.rvre0.fc38.src.rpm
logs = tasks/8640/1408640/hw_info.log, tasks/8640/1408640/state.log, tasks/8640/1408640/build.log, tasks/8640/1408640/root.log, tasks/8640/1408640/mock_output.log
brootid = 710256
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
cvc4-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-1.8-15.rvre0.fc38.src.rpm
cvc4-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-debugsource-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-devel-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-java-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-java-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-libs-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-libs-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-python3-1.8-15.rvre0.fc38.riscv64.rpm
cvc4-python3-debuginfo-1.8-15.rvre0.fc38.riscv64.rpm