@python/python3.14
Project ID: 149680
Package: cvc5
General Information
- Dist Git Repo:
- @python/python3.14/cvc5
- Webhook rebuild:
- Yes
- Source Type:
- Build from DistGit
- Distgit:
- fedora
- Committish:
- rawhide
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc5.git
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 8407838 | 1.2.0-1 | 5 months ago | 47 seconds | failed |
| 8416516 | 1.2.0-1 | 5 months ago | an hour | succeeded |
| 8473369 | 1.2.0-2 | 4 months ago | 57 minutes | succeeded |
| 8510542 | 1.2.0-3 | 4 months ago | an hour | succeeded |
| 8588453 | 1.2.1-1 | 3 months ago | 45 minutes | succeeded |
| 8644859 | 1.2.1-2 | 3 months ago | 55 minutes | succeeded |
| 8877729 | 1.2.1-3 | a month ago | 11 minutes | failed |
| 8884611 | 1.2.1-3 | a month ago | 46 minutes | succeeded |
| 8911332 | 1.2.1-4 | a month ago | 27 minutes | succeeded |
| 8986806 | 1.2.1-5 | 24 days ago | a minute | failed |
| 9030305 | 1.2.1-5 | 12 days ago | 20 minutes | failed |
| 9035969 | 1.2.1-5 | 11 days ago | 45 minutes | succeeded |
Status Badge
- HTML Code:
- Markdown Code: