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

ID1625450
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build
Keep srpm: True
Pkg: tasks/5056/1625056/Agda-2.6.4.3-48.fc41.src.rpm
Options:
  repo_id = 13531
State failed
CreatedThu, 06 Jun 2024 06:13:53 CST
StartedThu, 06 Jun 2024 06:15:00 CST
CompletedThu, 06 Jun 2024 06:59:07 CST
Total time 0:45:13
Task time 0:44:06
Owner kojiadmin
Channel default
Host buildvm_riscv64_1001.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f41-build-776823-13531
Parent build (f41, /rpms/Agda.git:1a1cd5d1e65e81889b3be3c5460a14bbdf9979d9)
Descendants
Waiting?no
Awaited?no
Priority19
Weight6.00
Result
BuildError: error building package (arch riscv64), mock exited with status 1; see build.log or root.log for more information
Output build.log (tail)
hw_info.log (tail)
installed_pkgs.log (tail)
mock_output.log (tail)
root.log (tail)
state.log (tail)