buildSRPMFromSCM (/rpms/coco-coq.git:eb0121271138639a7757c9ba13fe5f79b0647ae0)

failed

Task 10718 owned by guoguo created Mon, 12 Oct 2026 20:11:15 UTC ran 0:00:02

Result

BuildrootError: could not init mock buildroot, mock was killed by signal 11; see root.log for more information

This task has no descendants.

Logs task 10718

—

ID: 10718
Method: buildSRPMFromSCM
State: failed
Created: Mon, 12 Oct 2026 20:11:15 UTC
Started: Mon, 12 Oct 2026 20:12:25 UTC
Completed: Mon, 12 Oct 2026 20:12:27 UTC
Total time: 0:01:12
Task time: 0:00:02
Owner: guoguo
Channel: default
Host: buildvm_riscv64_06.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/coco-coq.git:eb0121271138639a7757c9ba13fe5f79b0647ae0)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/coco-coq.git#eb0121271138639a7757c9ba13fe5f79b0647ae0

Options repo_id = 330
scratch = None