@python/python3.12
Project ID: 72225
Package: cvc4
General Information
- Dist Git Repo:
- @python/python3.12/cvc4
- Webhook rebuild:
- Yes
- Source Type:
- Build from DistGit
- Distgit:
- fedora
- Committish:
- rawhide
- Clone_Url:
- https://src.fedoraproject.org/rpms/cvc4.git
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 5066515 | 1.8-13 | 2 years ago | a minute | failed |
| 5066646 | 1.8-13 | 2 years ago | a minute | failed |
| 5127968 | 1.8-13 | 2 years ago | a minute | failed |
| 5155827 | 1.8-14 | 2 years ago | 40 minutes | succeeded |
| 5219851 | 1.8-14 | 1 year, 11 months ago | 43 minutes | succeeded |
| 5622931 | 1.8-15 | 1 year, 9 months ago | 31 minutes | failed |
| 5760258 | 1.8-15 | 1 year, 8 months ago | a minute | failed |
| 5769283 | 1.8-15 | 1 year, 8 months ago | 32 minutes | succeeded |
| 5781806 | 1.8-15 | 1 year, 8 months ago | 37 minutes | succeeded |
| 5838525 | 1.8-15 | 1 year, 8 months ago | 33 minutes | succeeded |
| 5900710 | 1.8-15 | 1 year, 7 months ago | 44 minutes | succeeded |
| 5953317 | 1.8-16 | 1 year, 7 months ago | 30 minutes | failed |
| 6012805 | 1.8-16 | 1 year, 6 months ago | 35 minutes | succeeded |
| 6069200 | 1.8-17 | 1 year, 6 months ago | 37 minutes | succeeded |
| 6150019 | 1.8-18 | 1 year, 5 months ago | 32 minutes | succeeded |
| 6186732 | 1.8-19 | 1 year, 5 months ago | 32 minutes | succeeded |
| 6222591 | - | 1 year, 5 months ago | 5 seconds | failed |
Status Badge
- HTML Code:
- Markdown Code: