Package: python-isabelle-client
General Information
- Dist Git Repo:
- @copr/PyPI/python-isabelle-client
- Webhook rebuild:
- Yes
- Source Type:
- Build from PyPI
- PyPI package name
- isabelle-client
- Spec generator
- pyp2spec
| Build ID | Package Version | Submitted | Build Time | Status |
|---|---|---|---|---|
| 3097477 | 0.3.0-1.fc34 | 3 years ago | 2 minutes | failed |
| 5343317 | 0.3.13-1 | 2 years ago | 11 minutes | succeeded |
| 5569669 | 0.3.14-1 | 2 years ago | 13 minutes | succeeded |
| 5727113 | 0.3.15-1 | 2 years ago | 12 minutes | succeeded |
| 5860630 | 0.3.16-1 | 2 years ago | 11 minutes | succeeded |
| 5975250 | 0.3.17-1 | 2 years ago | 9 minutes | succeeded |
| 6125281 | 0.4.0-1 | 2 years ago | 6 minutes | succeeded |
| 6221871 | 0.4.1-1 | 1 year, 10 months ago | 6 minutes | failed |
| 6349596 | 0.4.2-1 | 1 year, 10 months ago | 9 minutes | failed |
| 6447919 | 0.4.3-1 | 1 year, 9 months ago | 7 minutes | failed |
| 6695550 | 0.4.5-1 | 1 year, 7 months ago | 6 minutes | succeeded |
| 7250009 | 0.4.9-1 | 1 year, 2 months ago | 6 minutes | succeeded |
| 7713006 | 0.4.11-1 | 11 months ago | 19 minutes | failed |
| 7713307 | 0.5.0-1 | 11 months ago | 5 minutes | failed |
| 8270985 | 0.5.1-1 | 7 months ago | 6 minutes | failed |
| 8430911 | 0.5.2-1 | 6 months ago | 5 minutes | failed |
| 8569703 | 0.5.3-1 | 5 months ago | 5 minutes | failed |
| 8744882 | - | 3 months ago | 2 seconds | failed |
| 8897109 | 0.5.5-1 | 2 months ago | 4 minutes | succeeded |
| 9101108 | 0.5.6-1 | 30 days ago | 3 minutes | succeeded |
| 9223630 | 0.5.7-1 | 8 hours ago | 3 minutes | failed |
Status Badge
- HTML Code:
- Markdown Code: