Information for task buildArch (Agda-2.8.0-59.fc44.src.rpm, riscv64)

ID8994759
MethodbuildArch
Parameters Arch: riscv64
Build tag: f44-build
Keep srpm: True
Pkg: tasks/4606/8994606/Agda-2.8.0-59.fc44.src.rpm
Options:
  repo_id = 56846
State failed
CreatedWed, 06 May 2026 15:37:23 CST
StartedWed, 06 May 2026 15:38:10 CST
CompletedWed, 06 May 2026 16:09:36 CST
Total time 0:32:13
Task time 0:31:26
Owner liuyang
Channel default
Host buildvm_riscv64_1503.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f44-build-4302286-56846
Parent build (f44, /rpms/Agda.git:a3712c8d1db5e750897a80a39c013c3e93f98f3f)
Descendants
Waiting?no
Awaited?no
Priority19
Weight1.50
Result
BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output build.log (tail)
dnf5.log (tail)
hw_info.log (tail)
mock_config.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)