Build 9043767 background
General Information
- Status:
- succeeded - Successfully built.
- Submitted:
- 2025-05-15 04:27 UTC (23 days ago)
- Started:
- 2025-05-15 05:49 UTC (23 days ago)
- Finished:
- 2025-05-15 05:53 UTC (23 days ago)
- Build time:
- 4 minutes
- Build timeout:
- 1 day and 8 hours
- Networking enabled:
- False
- Batch:
- 145346
- Directory:
- cmake-4.0
- Built by:
- lecris
Source
- Package:
- cryptominisat
- Version:
- 5.13.0-1
- Source Type:
- Build from DistGit
- Committish:
- 75901974dd47f3c4792ce3ddf41a48b80eb765d9
- Clone_Url:
- https://src.fedoraproject.org/rpms/cryptominisat.git
Results
- Source state:
- succeeded
- Source build logs:
- builder-live.log.gz , backend.log.gz
- Built Packages:
- cryptominisat-libs 5.13.0
- cryptominisat 5.13.0
- cryptominisat-devel 5.13.0
- cryptominisat-libs-debuginfo 5.13.0
- cryptominisat-debugsource 5.13.0
- python3-pycryptosat 5.13.0
- python3-pycryptosat-debuginfo 5.13.0
- cryptominisat-debuginfo 5.13.0
Chroot Name | Dist Git Source | Build Time | Logs | State |
---|---|---|---|---|
fedora-rawhide-x86_64 | f20c913 | 4 minutes | builder-live.log.gz , backend.log.gz | succeeded |