Build 8670157 background
General Information
Source
- Package:
- python-z3-solver
- Version:
- 4.14.0.0-1
- Source Type:
- Build from PyPI
- PyPI package name
- z3-solver
- PyPI package version
- 4.14.0.0
- Spec generator
- pyp2spec
Results
- Source state:
- succeeded
- Source build logs:
- builder-live.log.gz , backend.log.gz , import.log
- Built Packages:
- -
| Chroot Name | Dist Git Source | Build Time | Logs | State |
|---|---|---|---|---|
| epel-9-x86_64 | 972dfbd | 2 minutes | builder-live.log.gz , backend.log.gz | failed |
| fedora-40-x86_64 | a589d32 | a minute | builder-live.log.gz , backend.log.gz | failed |
| fedora-41-x86_64 | a589d32 | a minute | builder-live.log.gz , backend.log.gz | failed |
| fedora-42-x86_64 | 54072b3 | 48 seconds | builder-live.log.gz , backend.log.gz | failed |
| fedora-rawhide-x86_64 | 54072b3 | 2 minutes | builder-live.log.gz , backend.log.gz | failed |