Click here to visit the old openkoji buildsystem (Archived)

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

ID5368702
MethodbuildArch
Parameters Arch: riscv64
Build tag: f41-build-side-1
Keep srpm: True
Pkg: tasks/8388/5368388/Agda-2.6.4.3-50.fc41.src.rpm
Options:
  repo_id = 25598
State failed
CreatedThu, 05 Sep 2024 16:14:04 CST
StartedThu, 05 Sep 2024 16:14:53 CST
CompletedThu, 05 Sep 2024 16:31:57 CST
Total time 0:17:52
Task time 0:17:03
Owner kojiadmin
Channel default
Host buildvm_riscv64_303.openkoji.iscas.ac.cn
Archriscv64
Buildroot /var/lib/mock/f41-build-side-1-2630384-25598
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 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)