buildArch (rocq-9.3.0-2.fc45.src.rpm, riscv64)

failed

Task 125883 owned by guoguo created Fri, 30 Oct 2026 00:09:06 UTC ran 0:01:29

Result

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

This task has no descendants.

Logs task 125883

—

ID: 125883
Method: buildArch
State: failed
Created: Fri, 30 Oct 2026 00:09:06 UTC
Started: Fri, 30 Oct 2026 00:09:53 UTC
Completed: Fri, 30 Oct 2026 00:11:22 UTC
Total time: 0:02:15
Task time: 0:01:29
Owner: guoguo
Channel: default
Host: buildvm_riscv64_04.koji.hox.org.cn
Arch: riscv64
Parent: build (f45, /rpms/rocq.git:ceeb2cff056a934acb6875d1287e4e98159b0df2)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.50

Archriscv64

Build tagf45-build

Keep srpmTrue

Pkgtasks/5815/125815/rocq-9.3.0-2.fc45.src.rpm

Options repo_id = 937