Wed, 12 Jun 2024 11:32:14 UTC | login

Information for task buildArch (coq-8.18.0-1.fc40.src.rpm, riscv64)

ID1587743
MethodbuildArch
Parameters Arch: riscv64
Build tag: f40-build
Keep srpm: True
Pkg: tasks/7326/1587326/coq-8.18.0-1.fc40.src.rpm
Options:
  repo_id = 126039
State closed
CreatedThu, 04 Jan 2024 17:37:08 UTC
StartedSat, 06 Jan 2024 15:35:19 UTC
CompletedSat, 06 Jan 2024 19:03:10 UTC
Total time 49:26:02
Task time 3:27:50
Owner davidlt
Channel default
Host unmatchedbuild10.davidlt.org
Archriscv64
Buildroots /var/lib/mock/f40-build-771908-126039
/var/lib/mock/f40-build-771929-126039
Parent build (f40, /rpms/coq.git:ade58869f3a7d6b2a0ca17764dd01835a7a9c6bd)
Descendants
Waiting?no
Awaited?no
Priority19
Weight5.42
Result
rpms = tasks/7743/1587743/coq-coqide-server-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-core-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debugsource-8.18.0-1.fc40.riscv64.rpm, tasks/7743/15 ...
rpms = tasks/7743/1587743/coq-coqide-server-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-core-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debuginfo-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-debugsource-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-server-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-coqide-8.18.0-1.fc40.riscv64.rpm, tasks/7743/1587743/coq-core-8.18.0-1.fc40.riscv64.rpm
srpms = tasks/7743/1587743/coq-8.18.0-1.fc40.src.rpm
logs = tasks/7743/1587743/hw_info.log, tasks/7743/1587743/state.log, tasks/7743/1587743/build.log, tasks/7743/1587743/root.log, tasks/7743/1587743/mock_output.log
brootid = 771929
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)
coq-8.18.0-1.fc40.riscv64.rpm
coq-8.18.0-1.fc40.src.rpm
coq-coqide-8.18.0-1.fc40.riscv64.rpm
coq-coqide-debuginfo-8.18.0-1.fc40.riscv64.rpm
coq-coqide-server-8.18.0-1.fc40.riscv64.rpm
coq-coqide-server-debuginfo-8.18.0-1.fc40.riscv64.rpm
coq-core-8.18.0-1.fc40.riscv64.rpm
coq-core-debuginfo-8.18.0-1.fc40.riscv64.rpm
coq-debuginfo-8.18.0-1.fc40.riscv64.rpm
coq-debugsource-8.18.0-1.fc40.riscv64.rpm