lecris/cmake-4.0

Project ID: 169909

Build 9048022 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2025-05-15 06:35 UTC (23 days ago)
Started:
2025-05-15 21:30 UTC (22 days ago)
Finished:
2025-05-15 22:19 UTC (22 days ago)
Build time:
48 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
145346
Directory:
cmake-4.0
Built by:
lecris

Source

Package:
z3
Version:
4.14.1-2
Source Type:
Build from DistGit
Committish:
9c591d7697a3db234e554d7abcbc1de70862eb8d
Clone_Url:
https://src.fedoraproject.org/rpms/z3.git

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
java-z3-debuginfo 4.14.1
z3-devel 4.14.1
z3-debugsource 4.14.1
java-z3 4.14.1
z3-libs 4.14.1
python3-z3 4.14.1
ocaml-z3-debuginfo 4.14.1
z3 4.14.1
ocaml-z3 4.14.1
z3-doc 4.14.1
ocaml-z3-devel 4.14.1
z3-libs-debuginfo 4.14.1
z3-debuginfo 4.14.1
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-x86_64 822bbcb 48 minutes builder-live.log.gz , backend.log.gz succeeded