Fri, 06 Nov 2026 08:43:35 UTC Log in

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

failed

Task 13175 owned by guoguo created Mon, 12 Oct 2026 22:26:13 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 13175 build
- failed 13184 buildSRPMFromSCM (/rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)

Logs task 13175

—

Details

ID: 13175
Method: build
State: failed
Created: Mon, 12 Oct 2026 22:26:13 UTC
Started: Mon, 12 Oct 2026 22:26:25 UTC
Completed: Mon, 12 Oct 2026 22:27:44 UTC
Total time: 0:01:31
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