Package: python-certora-cli-beta
General Information
- Dist Git Repo:
- @copr/PyPI/python-certora-cli-beta
- Webhook rebuild:
- Yes
- Source Type:
- Build from PyPI
- PyPI package name
- certora-cli-beta
- Spec generator
- pyp2spec
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 3153264 | 1.0.16-1.fc34 | 3 years ago | 2 minutes | failed |
| 5866761 | 4.0.0-1 | 2 years ago | 8 minutes | failed |
| 5893105 | 4.0.1-1 | 2 years ago | 7 minutes | failed |
| 5905006 | 4.0.2-1 | 2 years ago | 7 minutes | failed |
| 5917132 | 4.0.3-1 | 2 years ago | 7 minutes | failed |
| 5938790 | 4.0.4-1 | 2 years ago | 5 minutes | failed |
| 5938973 | 4.0.5-1 | 2 years ago | 10 minutes | failed |
| 6018394 | 4.0.6-1 | 2 years ago | 8 minutes | failed |
| 6059086 | 4.1.0-1 | 2 years ago | 5 minutes | failed |
| 6076335 | 4.2.0-1 | 2 years ago | 6 minutes | failed |
| 6091967 | 4.3.0-1 | 2 years ago | 5 minutes | failed |
| 6103964 | 4.3.1-1 | 2 years ago | 5 minutes | failed |
| 6132185 | 4.4.0-1 | 2 years ago | 6 minutes | failed |
| 6153885 | 4.5.0-1 | 1 year, 11 months ago | 5 minutes | failed |
| 6156488 | 4.5.1-1 | 1 year, 11 months ago | 7 minutes | failed |
| 6176227 | 4.6.0-1 | 1 year, 11 months ago | 8 minutes | failed |
| 6203721 | 4.6.1-1 | 1 year, 11 months ago | 7 minutes | failed |
| 6217830 | 4.6.2-1 | 1 year, 11 months ago | 7 minutes | failed |
| 6245226 | 4.7.0-1 | 1 year, 10 months ago | 5 minutes | failed |
| 6258318 | 4.8.0-1 | 1 year, 10 months ago | 8 minutes | failed |
| 6270064 | 4.8.1-1 | 1 year, 10 months ago | 5 minutes | failed |
| 6275546 | 4.9.0-1 | 1 year, 10 months ago | 6 minutes | failed |
| 6284431 | 4.10.0-1 | 1 year, 10 months ago | 7 minutes | failed |
| 6319187 | 4.10.1-1 | 1 year, 10 months ago | 10 minutes | failed |
| 6346108 | 4.11.0-1 | 1 year, 10 months ago | 7 minutes | failed |
| 6400644 | 4.12.0-1 | 1 year, 9 months ago | 8 minutes | failed |
| 6404375 | 4.12.1-1 | 1 year, 9 months ago | 15 minutes | failed |
| 6423461 | 4.13.0-1 | 1 year, 9 months ago | 7 minutes | failed |
| 6437699 | 4.13.1-1 | 1 year, 9 months ago | 8 minutes | failed |
| 6530621 | 5.0.0-1 | 1 year, 8 months ago | 7 minutes | failed |
| 6553786 | 5.0.1-1 | 1 year, 8 months ago | 8 minutes | failed |
| 6576709 | 5.0.2-1 | 1 year, 8 months ago | 5 minutes | failed |
| 6624755 | 5.0.3-1 | 1 year, 7 months ago | 9 minutes | failed |
| 6651107 | 5.0.4-1 | 1 year, 7 months ago | 4 minutes | failed |
| 6663496 | 5.0.5-1 | 1 year, 7 months ago | 7 minutes | failed |
| 7136574 | 7.0.5-1 | 1 year, 3 months ago | 6 minutes | failed |
| 7147798 | 7.0.6-1 | 1 year, 3 months ago | 7 minutes | failed |
| 7159061 | 7.0.7-1 | 1 year, 3 months ago | 13 minutes | failed |
| 7168543 | 7.0.8-1 | 1 year, 3 months ago | 7 minutes | failed |
| 7176475 | 7.1.0-1 | 1 year, 3 months ago | 5 minutes | failed |
| 7188772 | 7.2.0-1 | 1 year, 3 months ago | 7 minutes | failed |
| 7205482 | 7.2.1-1 | 1 year, 3 months ago | 6 minutes | failed |
| 7250042 | 7.3.0-1 | 1 year, 3 months ago | 5 minutes | failed |
| 7306573 | 7.4.0-1 | 1 year, 2 months ago | 5 minutes | failed |
| 7327730 | 7.5.0-1 | 1 year, 2 months ago | 5 minutes | failed |
| 7398778 | 7.6.0-1 | 1 year, 2 months ago | 3 minutes | failed |
| 7437950 | 7.6.1-1 | 1 year, 1 month ago | 4 minutes | failed |
| 7441719 | 7.6.2-1 | 1 year, 1 month ago | 5 minutes | failed |
| 7444816 | 7.6.3-1 | 1 year, 1 month ago | 4 minutes | failed |
| 7498636 | 7.7.0-1 | 1 year, 1 month ago | 17 minutes | failed |
| 7614871 | 7.8.0-1 | 1 year, 21 days ago | 3 minutes | failed |
| 7701508 | 7.9.0-1 | 1 year, 2 days ago | 6 minutes | failed |
| 7773050 | 7.10.0-1 | 11 months ago | 5 minutes | failed |
| 7789242 | 7.10.1-1 | 11 months ago | 7 minutes | failed |
| 7897115 | 7.11.0-1 | 10 months ago | 5 minutes | failed |
| 7899739 | 7.11.1-1 | 10 months ago | 4 minutes | failed |
| 7929656 | 7.12.0-1 | 10 months ago | 11 minutes | failed |
| 7932161 | 7.12.1-1 | 10 months ago | 5 minutes | failed |
| 7962466 | 7.14.2-1 | 10 months ago | 5 minutes | failed |
| 7995794 | 7.15.0-1 | 9 months ago | 4 minutes | failed |
| 8029118 | 7.16.0-1 | 9 months ago | 6 minutes | failed |
| 8086446 | 7.17.0-1 | 9 months ago | 5 minutes | failed |
| 8092658 | 7.17.1-1 | 9 months ago | 5 minutes | failed |
| 8109207 | 7.17.2-1 | 8 months ago | 6 minutes | failed |
| 8133103 | 7.18.0-1 | 8 months ago | 5 minutes | failed |
| 8144799 | 7.18.1-1 | 8 months ago | 6 minutes | failed |
| 8176488 | 7.18.2-1 | 8 months ago | 8 minutes | failed |
| 8227103 | - | 7 months ago | a minute | failed |
| 8275968 | 7.20.0-1 | 7 months ago | 10 minutes | failed |
| 8279955 | 7.20.1-1 | 7 months ago | 5 minutes | failed |
| 8297557 | 7.20.2-1 | 7 months ago | 17 minutes | failed |
| 8312749 | 7.21.0-1 | 7 months ago | 4 minutes | failed |
| 8343977 | 7.21.1-1 | 6 months ago | 8 minutes | failed |
| 8469245 | 7.22.0-1 | 6 months ago | 2 minutes | failed |
| 8474231 | 7.22.1-1 | 5 months ago | 4 minutes | failed |
| 8493165 | 7.22.2-1 | 5 months ago | 5 minutes | failed |
| 8527926 | 7.23.0-1 | 5 months ago | 5 minutes | failed |
| 8579714 | 7.24.0-1 | 5 months ago | 3 minutes | failed |
| 8652364 | 7.25.0-1 | 4 months ago | 3 minutes | failed |
| 8660967 | 7.25.1-1 | 4 months ago | 4 minutes | failed |
| 8671276 | 7.25.2-1 | 4 months ago | 2 minutes | failed |
| 8704118 | 7.25.3-1 | 4 months ago | 2 minutes | failed |
| 8737451 | 7.25.4-1 | 3 months ago | 5 minutes | failed |
| 8739130 | 7.26.0-1 | 3 months ago | 3 minutes | failed |
| 8827687 | 7.27.0-1 | 3 months ago | 2 minutes | failed |
| 8848987 | 7.27.1-1 | 3 months ago | 2 minutes | failed |
| 8874295 | 7.28.0-1 | 2 months ago | 2 minutes | failed |
| 9011859 | 7.29.0-1 | a month ago | 2 minutes | failed |
| 9033944 | 7.29.1-1 | a month ago | 2 minutes | failed |
| 9092938 | 7.30.0-1 | a month ago | 3 minutes | failed |
| 9132798 | 7.30.1-1 | a month ago | 4 minutes | failed |
| 9203289 | 7.31.0-1 | 12 days ago | 3 minutes | failed |
Status Badge
- HTML Code:
- Markdown Code: