Information for task build (f41-build-side-1, /rpms/idris.git:1228a2e021813c151b0a3d423e2075bf56f8c5ed)

ID5948420
Methodbuild
Parameters Build target: f41-build-side-1
Src: git+https://src.fedoraproject.org/rpms/idris.git#1228a2e021813c151b0a3d423e2075bf56f8c5ed
Options:
  wait_builds = 
  custom_user_metadata = 
State failed
CreatedWed, 09 Oct 2024 00:53:58 CST
StartedWed, 09 Oct 2024 00:54:49 CST
CompletedWed, 09 Oct 2024 01:10:35 CST
Total time 0:16:36
Task time 0:15:45
Owner kojiadmin
Channel default
Host buildvm_riscv64_102.openkoji.iscas.ac.cn
Archnoarch
Parent
Descendants failed build
Waiting?yes
Awaited?no
Priority20
Weight0.20
Result
BuildError: error building package (arch riscv64), mock exited with status 30; see root.log for more information
Output
No outputs reported