buildSRPMFromSCM (/rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)

failed

Task 9551 owned by guoguo created Mon, 12 Oct 2026 19:05:53 UTC ran 0:00:03

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 9551

—

ID: 9551
Method: buildSRPMFromSCM
State: failed
Created: Mon, 12 Oct 2026 19:05:53 UTC
Started: Mon, 12 Oct 2026 19:07:01 UTC
Completed: Mon, 12 Oct 2026 19:07:04 UTC
Total time: 0:01:11
Task time: 0:00:03
Owner: guoguo
Channel: default
Host: buildvm_riscv64_10.koji.hox.org.cn
Arch: noarch
Parent: build (f45, /rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)
Waiting?: no
Awaited?: no
Priority: 19
Weight: 1.00

Build tagf45-build

Urlgit+https://src.fedoraproject.org/rpms/cbmc.git#33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5

Options repo_id = 326
scratch = None