lecris/cmake-ninja.checker

Project ID: 172036

Build 8841587 background

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2025-03-31 22:01 UTC (3 days ago)
Started:
2025-03-31 22:03 UTC (3 days ago)
Finished:
2025-03-31 22:33 UTC (3 days ago)
Build time:
29 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Directory:
cmake-ninja.checker
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 74cecb8 29 minutes builder-live.log.gz , backend.log.gz failed Ask AI   /   Teach AI