buildArch (idris2-0.8.0-6.fc45.src.rpm, riscv64)

failed

Task 121665 owned by guoguo created Thu, 29 Oct 2026 18:29:24 UTC ran 0:06:19

Result

BuildError: error building package (arch riscv64), mock exited with status 1; see build.log or root.log for more information

This task has no descendants.

Logs task 121665

—

ID: 121665
Method: buildArch
State: failed
Created: Thu, 29 Oct 2026 18:29:24 UTC
Started: Thu, 29 Oct 2026 18:30:55 UTC
Completed: Thu, 29 Oct 2026 18:37:15 UTC
Total time: 0:07:51
Task time: 0:06:19
Owner: guoguo
Channel: default
Host: buildvm_riscv64_08.koji.hox.org.cn
Arch: riscv64
Parent: build (f45, /rpms/idris2.git:346243b11b742432dcd3c00889fcfc6bcddfd7d1)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.50

Archriscv64

Build tagf45-build

Keep srpmTrue

Pkgtasks/1564/121564/idris2-0.8.0-6.fc45.src.rpm

Options repo_id = 910