lecris/cmake-4.0

Project ID: 169909

Build 8808035 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2025-03-23 20:15 UTC (5 days ago)
Started:
2025-03-23 21:25 UTC (5 days ago)
Finished:
2025-03-23 22:16 UTC (5 days ago)
Build time:
51 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
143065
Directory:
cmake-4.0
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:
cvc5-libs-debuginfo 1.2.1
cvc5-debugsource 1.2.1
cvc5 1.2.1
python3-cvc5 1.2.1
cvc5-devel 1.2.1
cvc5-java-debuginfo 1.2.1
cvc5-java 1.2.1
cvc5-libs 1.2.1
python3-cvc5-debuginfo 1.2.1
cvc5-debuginfo 1.2.1
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-x86_64 e18ab50 51 minutes builder-live.log.gz , backend.log.gz succeeded