Thu, 05 Nov 2026 19:21:34 UTC Log in

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

failed

Task 10983 owned by guoguo created Mon, 12 Oct 2026 20:24:19 UTC ran 0:01:18

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 10983 build
- failed 10996 buildSRPMFromSCM (/rpms/cbmc.git:33f3ba94e8ed7c584fd3ca7b511e5e45576a15f5)

Logs task 10983

—

Details

ID: 10983
Method: build
State: failed
Created: Mon, 12 Oct 2026 20:24:19 UTC
Started: Mon, 12 Oct 2026 20:24:42 UTC
Completed: Mon, 12 Oct 2026 20:26:01 UTC
Total time: 0:01:41
Task time: 0:01:18
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