dmalcolm/gcc-15-smoketest

Project ID: 156521

Build 8389249 background

General Information

Status:
succeeded - Successfully built.
Submitted:
2024-12-13 09:17 UTC (10 days ago)
Started:
2024-12-13 09:18 UTC (10 days ago)
Finished:
2024-12-13 09:44 UTC (10 days ago)
Build time:
25 minutes
Build timeout:
1 day and 8 hours
Networking enabled:
False
Batch:
139376
Directory:
gcc-15-smoketest
Built by:
dmalcolm

Source

Package:
z3
Version:
4.13.3-1
Source Type:
Build from DistGit
Committish:
03af5cbb90315a70be8f7abd90004c7b3bb5ca81
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-debuginfo 4.13.3
z3-libs-debuginfo 4.13.3
python3-z3 4.13.3
java-z3 4.13.3
z3-devel 4.13.3
z3 4.13.3
java-z3-debuginfo 4.13.3
ocaml-z3 4.13.3
ocaml-z3-devel 4.13.3
z3-doc 4.13.3
ocaml-z3-debuginfo 4.13.3
z3-libs 4.13.3
z3-debugsource 4.13.3
Chroot Name Dist Git Source Build Time Logs State
fedora-rawhide-aarch64 13db7f5 25 minutes builder-live.log.gz , backend.log.gz succeeded