Information for task buildArch (Agda-2.6.4.3-50.fc41.src.rpm, riscv64)

ID5751979
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build-side-1
Keep srpm: True
Pkg: tasks/1889/5751889/Agda-2.6.4.3-50.fc41.src.rpm
Options:
  repo_id = 32789
State failed
CreatedWed, 02 Oct 2024 00:57:16 CST
StartedWed, 02 Oct 2024 00:57:46 CST
CompletedWed, 02 Oct 2024 01:05:03 CST
Total time 0:07:47
Task time 0:07:17
Owner kojiadmin
Channel default
Host buildvm_riscv64_300.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f41-build-side-1-2798989-32789
Parent build (f41-build-side-1, /rpms/Agda.git:59158d61c7b09dc1d891dd86339f6d21e3675dcd)
Descendants
Waiting?no
Awaited?no
Priority19
Weight6.00
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)