Mon, 11 Nov 2024 13:05:31 UTC | login

Information for task buildArch (cvc5-1.1.2-5.fc41.src.rpm, riscv64)

ID1787887
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/7428/1787428/cvc5-1.1.2-5.fc41.src.rpm
Options:
  repo_id = 161629
State closed
CreatedThu, 15 Aug 2024 18:42:41 UTC
StartedThu, 15 Aug 2024 20:49:08 UTC
CompletedThu, 15 Aug 2024 21:36:07 UTC
Total time 2:53:26
Task time 0:46:59
Owner davidlt
Channel default
Host milkvpioneer01.davidlt.org
Archriscv64
Buildroot /var/lib/mock/f41-build-842767-161629
Parent build (f41, /rpms/cvc5.git:f98c399447dcf64c9c4cfe807a2a15ecfa63d80a)
Descendants
Waiting?no
Awaited?no
Priority19
Weight5.48
Result
rpms = tasks/7887/1787887/python3-cvc5-debuginfo-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/python3-cvc5-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-devel-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-debugsource-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-debuginfo-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-java-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-1.1.2-5. ...
rpms = tasks/7887/1787887/python3-cvc5-debuginfo-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/python3-cvc5-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-devel-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-debugsource-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-debuginfo-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-java-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-libs-debuginfo-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-java-debuginfo-1.1.2-5.fc41.riscv64.rpm, tasks/7887/1787887/cvc5-libs-1.1.2-5.fc41.riscv64.rpm
srpms = tasks/7887/1787887/cvc5-1.1.2-5.fc41.src.rpm
logs = tasks/7887/1787887/state.log, tasks/7887/1787887/hw_info.log, tasks/7887/1787887/build.log, tasks/7887/1787887/root.log, tasks/7887/1787887/mock_output.log
brootid = 842767
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
cvc5-1.1.2-5.fc41.riscv64.rpm
cvc5-1.1.2-5.fc41.src.rpm
cvc5-debuginfo-1.1.2-5.fc41.riscv64.rpm
cvc5-debugsource-1.1.2-5.fc41.riscv64.rpm
cvc5-devel-1.1.2-5.fc41.riscv64.rpm
cvc5-java-1.1.2-5.fc41.riscv64.rpm
cvc5-java-debuginfo-1.1.2-5.fc41.riscv64.rpm
cvc5-libs-1.1.2-5.fc41.riscv64.rpm
cvc5-libs-debuginfo-1.1.2-5.fc41.riscv64.rpm
python3-cvc5-1.1.2-5.fc41.riscv64.rpm
python3-cvc5-debuginfo-1.1.2-5.fc41.riscv64.rpm