1. Home
  2. c72578
  3. z3
  4. Builds
  5. 1386102
  • 0

c72578/z3

Project ID: 32099

Build 1386102

General Information

Status:
succeeded - Successfully built.
Submitted:
2020-05-14 21:35 UTC (3 years ago)
Started:
2020-05-14 21:36 UTC (3 years ago)
Finished:
2020-05-14 22:17 UTC (3 years ago)
Build time:
41 minutes
Build timeout:
1 day
Networking enabled:
False
Directory:
z3
Built by:
c72578

Source

Package:
z3
Version:
4.8.8-2.fc31
Source Type:
SRPM or .spec file upload
File Name:
z3-4.8.8-2.fc31.src.rpm

Results

Source state:
succeeded
Source build logs:
builder-live.log.gz , backend.log.gz
Built Packages:
java-z3 4.8.8
java-z3-debuginfo 4.8.8
ocaml-z3 4.8.8
ocaml-z3-debuginfo 4.8.8
ocaml-z3-devel 4.8.8
python3-z3 4.8.8
z3 4.8.8
z3-debuginfo 4.8.8
z3-debugsource 4.8.8
z3-devel 4.8.8
z3-doc 4.8.8
z3-libs 4.8.8
z3-libs-debuginfo 4.8.8
Chroot Name Dist Git Source Build Time Logs State
fedora-30-i386 ddf1c0f 41 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-30-x86_64 ddf1c0f 40 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-31-x86_64 ddf1c0f 41 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-32-x86_64 ddf1c0f 38 minutes builder-live.log.gz , backend.log.gz succeeded
fedora-33-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-34-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-35-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-36-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-37-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-38-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-39-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-40-x86_64 ddf1c0f 38 minutes RPM build has not started yet forked
fedora-rawhide-x86_64 ddf1c0f 38 minutes builder-live.log.gz , backend.log.gz succeeded