@python/python3.13
Project ID: 103452
Package: cvc5
General Information
- Dist Git Repo:
- @python/python3.13/cvc5
- Source Type:
- Build from DistGit
- Distgit:
- fedora
- Committish:
- rawhide
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc5.git
| Build ID | Package Version | Subproject | Submitted | Build Time | Status |
|---|---|---|---|---|---|
| 6659086 | 1.0.8-1 | - | 1 year, 11 months ago | 10 minutes | failed |
| 6660831 | 1.0.8-1 | - | 1 year, 11 months ago | 8 minutes | failed |
| 6688200 | 1.0.8-1 | - | 1 year, 11 months ago | 14 minutes | failed |
| 6692092 | 1.0.8-1 | - | 1 year, 11 months ago | 15 minutes | failed |
| 6766222 | 1.0.8-1 | - | 1 year, 10 months ago | 9 minutes | failed |
| 6865854 | 1.0.8-1 | - | 1 year, 10 months ago | 14 minutes | failed |
| 6918760 | 1.1.0-1 | - | 1 year, 9 months ago | 23 minutes | succeeded |
| 7023617 | 1.1.0-5 | - | 1 year, 8 months ago | 11 minutes | failed |
| 7027880 | 1.1.0-5 | - | 1 year, 8 months ago | 19 minutes | failed |
| 7033139 | 1.1.0-5 | - | 1 year, 8 months ago | 11 minutes | failed |
| 7033624 | 1.1.0-5 | - | 1 year, 8 months ago | 15 minutes | succeeded |
| 7117859 | 1.1.1-1 | - | 1 year, 7 months ago | 16 minutes | succeeded |
| 7147507 | 1.1.1-1 | - | 1 year, 7 months ago | 44 seconds | failed |
| 7159880 | 1.1.2-1 | - | 1 year, 7 months ago | 29 minutes | succeeded |
| 7539905 | 1.1.2-2 | - | 1 year, 5 months ago | 25 minutes | succeeded |
| 7685307 | 1.1.2-3 | - | 1 year, 4 months ago | 26 minutes | succeeded |
| 7739838 | 1.1.2-4 | - | 1 year, 3 months ago | 48 seconds | failed |
| 7764889 | 1.1.2-5 | - | 1 year, 3 months ago | 36 minutes | succeeded |
| 7813459 | 1.1.2-5 | - | 1 year, 3 months ago | 26 minutes | succeeded |
| 7992837 | 1.1.2-5 | - | 1 year, 1 month ago | 16 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: