lecris/cmake-4.0

Project ID: 169909

Build 9043494 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2025-05-15 04:23 UTC (23 days ago)
Started:
2025-05-15 05:01 UTC (23 days ago)
Finished:
2025-05-15 05:58 UTC (23 days ago)
Build time:
56 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
145346
Directory:
cmake-4.0
Built by:
lecris

Source

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

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
cbmc-utils 6.6.0
cbmc-doc 6.6.0
cbmc-debuginfo 6.6.0
cbmc 6.6.0
cbmc-debugsource 6.6.0
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-x86_64 f647e9c 56 minutes builder-live.log.gz , backend.log.gz succeeded