lecris/cmake-drop_vars

Project ID: 171745

Build 8834953 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2025-03-29 20:09 UTC (5 days ago)
Started:
2025-03-30 07:26 UTC (4 days ago)
Finished:
2025-03-30 07:53 UTC (4 days ago)
Build time:
27 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
143261
Directory:
cmake-drop_vars
Built by:
lecris

Source

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

Results

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