Mon, 13 Jan 2025 18:15:45 UTC | login

Information for task buildArch (coq-8.20.0-1.fc42.src.rpm, riscv64)

ID1851821
MethodbuildArch
Parameters Arch: riscv64
Build tag: f42-build
Keep srpm: True
Pkg: tasks/1766/1851766/coq-8.20.0-1.fc42.src.rpm
Options:
  repo_id = 173520
State failed
CreatedSun, 12 Jan 2025 13:37:51 UTC
StartedSun, 12 Jan 2025 13:40:50 UTC
CompletedSun, 12 Jan 2025 13:43:35 UTC
Total time 0:05:43
Task time 0:02:44
Owner davidlt
Channel default
Host bpi01.montleon.net
Archriscv64
Buildroot /var/lib/mock/f42-build-865831-173520
Parent build (f42, /rpms/coq.git:3492a6a89aebd0a3ec1709a13559e34cae2a51e6)
Descendants
Waiting?no
Awaited?no
Priority19
Weight5.12
Result
BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output build.log (tail)
hw_info.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)