lecris/cmake-4.0

Project ID: 169909

Build 8807922 background

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2025-03-23 20:13 UTC (5 days ago)
Started:
2025-03-23 20:56 UTC (5 days ago)
Finished:
2025-03-23 21:43 UTC (5 days ago)
Build time:
46 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
143065
Directory:
cmake-4.0
Built by:
lecris

Source

Package:
cbmc
Version:
6.4.1-1
Source Type:
Build from DistGit
Committish:
f6c3a091b9503c618f8e6f25fcd363a79aa0d986
Clone_Url:
https://src.fedoraproject.org/rpms/cbmc.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz , import.log
Built Packages:
-
Chroot Name Dist Git Source Build Time Logs State Log Detective AI
fedora-rawhide-x86_64 824344b 46 minutes builder-live.log.gz , backend.log.gz failed Ask AI   /   Teach AI