Thu, 05 Nov 2026 17:33:46 UTC Log in

build (f45, /rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)

failed

Task 9541 owned by guoguo created Mon, 12 Oct 2026 19:05:35 UTC ran 0:01:19

Result

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

Descendants

Parent: none (top-level task)

failed 9541 build
- failed 9551 buildSRPMFromSCM (/rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)

Logs task 9541

—

Details

ID: 9541
Method: build
State: failed
Created: Mon, 12 Oct 2026 19:05:35 UTC
Started: Mon, 12 Oct 2026 19:05:53 UTC
Completed: Mon, 12 Oct 2026 19:07:12 UTC
Total time: 0:01:37
Task time: 0:01:19
Owner: guoguo
Channel: default
Host: sfbuilder
Arch: noarch
Parent: —
Waiting?: yes
Awaited?: no
Priority: 20
Weight: 0.20

Parameters

Build targetf45

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

Output

No outputs reported