lecris/cmake-ninja

Project ID: 172010

Build 8840050 background

General Information

Status:
failed - Build failed. See logs for more details.
Submitted:
2025-03-31 20:20 UTC (3 days ago)
Started:
2025-03-31 21:14 UTC (3 days ago)
Finished:
2025-03-31 21:38 UTC (3 days ago)
Build time:
23 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
143330
Directory:
cmake-ninja
Built by:
lecris

Source

Package:
cvc5
Version:
1.2.1-3
Source Type:
Build from DistGit
Committish:
cf8bb8f940f47b31e08b4447d8216eaf004b4acf
Clone_Url:
https://src.fedoraproject.org/rpms/cvc5.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 909c52b 23 minutes builder-live.log.gz , backend.log.gz failed Ask AI   /   Teach AI