Default Build Source
-
- Source Type:
- Build from PyPI
- PyPI package name
- imandra
- Spec generator
- pyp2spec
| Build ID |
Package Version |
Submitted |
Build Time |
Status |
|
3274477
|
-
|
3 years ago |
a minute |
failed
|
|
6227178
|
-
|
2 years ago |
7 seconds |
failed
|
|
6275550
|
-
|
2 years ago |
3 seconds |
failed
|
|
6349758
|
-
|
2 years ago |
3 seconds |
failed
|
|
6353341
|
-
|
2 years ago |
3 seconds |
failed
|
|
6363060
|
-
|
2 years ago |
7 seconds |
failed
|
|
8820078
|
2.0.1-1
|
6 months ago |
4 minutes |
failed
|
|
9103933
|
2.0.2-1
|
4 months ago |
2 minutes |
failed
|
|
9160307
|
2.0.3-1
|
3 months ago |
2 minutes |
failed
|
|
9204453
|
2.0.4-1
|
3 months ago |
a minute |
failed
|
|
9222489
|
2.0.5-1
|
3 months ago |
5 minutes |
failed
|
|
9227476
|
2.0.6-1
|
3 months ago |
3 minutes |
failed
|
|
9294321
|
2.0.8-1
|
2 months ago |
a minute |
failed
|
|
9294577
|
2.0.10-1
|
2 months ago |
2 minutes |
failed
|
|
9370404
|
2.0.11-1
|
2 months ago |
8 minutes |
failed
|
|
9372849
|
2.0.12-1
|
2 months ago |
3 minutes |
failed
|
|
9378268
|
2.0.14-1
|
2 months ago |
3 minutes |
failed
|
|
9382149
|
2.0.15-1
|
2 months ago |
3 minutes |
failed
|
|
9515440
|
2.0.16-1
|
a month ago |
a minute |
failed
|
|
9516231
|
2.0.17-1
|
a month ago |
2 minutes |
failed
|
|
9523830
|
2.0.18-1
|
a month ago |
3 minutes |
failed
|
|
9528213
|
2.0.19-1
|
a month ago |
3 minutes |
failed
|
|
9534138
|
-
|
a month ago |
31 seconds |
failed
|
|
9570855
|
2.0.22-1
|
22 days ago |
5 minutes |
failed
|
|
9589091
|
2.0.23-1
|
18 days ago |
3 minutes |
failed
|
|
9631777
|
2.1.0-1
|
10 days ago |
3 minutes |
failed
|
|
9632918
|
2.1.1-1
|
10 days ago |
4 minutes |
failed
|
Status Badge
- HTML Code:
-
- Markdown Code:
-