Default Build Source
-
- 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
|
1 year, 8 months ago |
8 minutes |
failed
|
|
5893105
|
4.0.1-1
|
1 year, 8 months ago |
7 minutes |
failed
|
|
5905006
|
4.0.2-1
|
1 year, 8 months ago |
7 minutes |
failed
|
|
5917132
|
4.0.3-1
|
1 year, 8 months ago |
7 minutes |
failed
|
|
5938790
|
4.0.4-1
|
1 year, 8 months ago |
5 minutes |
failed
|
|
5938973
|
4.0.5-1
|
1 year, 8 months ago |
10 minutes |
failed
|
|
6018394
|
4.0.6-1
|
1 year, 7 months ago |
8 minutes |
failed
|
|
6059086
|
4.1.0-1
|
1 year, 7 months ago |
5 minutes |
failed
|
|
6076335
|
4.2.0-1
|
1 year, 7 months ago |
6 minutes |
failed
|
|
6091967
|
4.3.0-1
|
1 year, 7 months ago |
5 minutes |
failed
|
|
6103964
|
4.3.1-1
|
1 year, 7 months ago |
5 minutes |
failed
|
|
6132185
|
4.4.0-1
|
1 year, 7 months ago |
6 minutes |
failed
|
|
6153885
|
4.5.0-1
|
1 year, 6 months ago |
5 minutes |
failed
|
|
6156488
|
4.5.1-1
|
1 year, 6 months ago |
7 minutes |
failed
|
|
6176227
|
4.6.0-1
|
1 year, 6 months ago |
8 minutes |
failed
|
|
6203721
|
4.6.1-1
|
1 year, 6 months ago |
7 minutes |
failed
|
|
6217830
|
4.6.2-1
|
1 year, 6 months ago |
7 minutes |
failed
|
|
6245226
|
4.7.0-1
|
1 year, 5 months ago |
5 minutes |
failed
|
|
6258318
|
4.8.0-1
|
1 year, 5 months ago |
8 minutes |
failed
|
|
6270064
|
4.8.1-1
|
1 year, 5 months ago |
5 minutes |
failed
|
|
6275546
|
4.9.0-1
|
1 year, 5 months ago |
6 minutes |
failed
|
|
6284431
|
4.10.0-1
|
1 year, 5 months ago |
7 minutes |
failed
|
|
6319187
|
4.10.1-1
|
1 year, 5 months ago |
10 minutes |
failed
|
|
6346108
|
4.11.0-1
|
1 year, 5 months ago |
7 minutes |
failed
|
|
6400644
|
4.12.0-1
|
1 year, 4 months ago |
8 minutes |
failed
|
|
6404375
|
4.12.1-1
|
1 year, 4 months ago |
15 minutes |
failed
|
|
6423461
|
4.13.0-1
|
1 year, 4 months ago |
7 minutes |
failed
|
|
6437699
|
4.13.1-1
|
1 year, 4 months ago |
8 minutes |
failed
|
|
6530621
|
5.0.0-1
|
1 year, 3 months ago |
7 minutes |
failed
|
|
6553786
|
5.0.1-1
|
1 year, 3 months ago |
8 minutes |
failed
|
|
6576709
|
5.0.2-1
|
1 year, 3 months ago |
5 minutes |
failed
|
|
6624755
|
5.0.3-1
|
1 year, 2 months ago |
9 minutes |
failed
|
|
6651107
|
5.0.4-1
|
1 year, 2 months ago |
4 minutes |
failed
|
|
6663496
|
5.0.5-1
|
1 year, 2 months ago |
7 minutes |
failed
|
|
7136574
|
7.0.5-1
|
10 months ago |
6 minutes |
failed
|
|
7147798
|
7.0.6-1
|
10 months ago |
7 minutes |
failed
|
|
7159061
|
7.0.7-1
|
10 months ago |
13 minutes |
failed
|
|
7168543
|
7.0.8-1
|
10 months ago |
7 minutes |
failed
|
|
7176475
|
7.1.0-1
|
10 months ago |
5 minutes |
failed
|
|
7188772
|
7.2.0-1
|
10 months ago |
7 minutes |
failed
|
|
7205482
|
7.2.1-1
|
10 months ago |
6 minutes |
failed
|
|
7250042
|
7.3.0-1
|
9 months ago |
5 minutes |
failed
|
|
7306573
|
7.4.0-1
|
9 months ago |
5 minutes |
failed
|
|
7327730
|
7.5.0-1
|
9 months ago |
5 minutes |
failed
|
|
7398778
|
7.6.0-1
|
8 months ago |
3 minutes |
failed
|
|
7437950
|
7.6.1-1
|
8 months ago |
4 minutes |
failed
|
|
7441719
|
7.6.2-1
|
8 months ago |
5 minutes |
failed
|
|
7444816
|
7.6.3-1
|
8 months ago |
4 minutes |
failed
|
|
7498636
|
7.7.0-1
|
8 months ago |
17 minutes |
failed
|
|
7614871
|
7.8.0-1
|
7 months ago |
3 minutes |
failed
|
|
7701508
|
7.9.0-1
|
6 months ago |
6 minutes |
failed
|
|
7773050
|
7.10.0-1
|
6 months ago |
5 minutes |
failed
|
|
7789242
|
7.10.1-1
|
6 months ago |
7 minutes |
failed
|
|
7897115
|
7.11.0-1
|
5 months ago |
5 minutes |
failed
|
|
7899739
|
7.11.1-1
|
5 months ago |
4 minutes |
failed
|
|
7929656
|
7.12.0-1
|
5 months ago |
11 minutes |
failed
|
|
7932161
|
7.12.1-1
|
5 months ago |
5 minutes |
failed
|
|
7962466
|
7.14.2-1
|
4 months ago |
5 minutes |
failed
|
|
7995794
|
7.15.0-1
|
4 months ago |
4 minutes |
failed
|
|
8029118
|
7.16.0-1
|
4 months ago |
6 minutes |
failed
|
|
8086446
|
7.17.0-1
|
4 months ago |
5 minutes |
failed
|
|
8092658
|
7.17.1-1
|
4 months ago |
5 minutes |
failed
|
|
8109207
|
7.17.2-1
|
3 months ago |
6 minutes |
failed
|
|
8133103
|
7.18.0-1
|
3 months ago |
5 minutes |
failed
|
|
8144799
|
7.18.1-1
|
3 months ago |
6 minutes |
failed
|
|
8176488
|
7.18.2-1
|
3 months ago |
8 minutes |
failed
|
|
8227103
|
-
|
2 months ago |
a minute |
failed
|
|
8275968
|
7.20.0-1
|
2 months ago |
10 minutes |
failed
|
|
8279955
|
7.20.1-1
|
2 months ago |
5 minutes |
failed
|
|
8297557
|
7.20.2-1
|
2 months ago |
17 minutes |
failed
|
|
8312749
|
7.21.0-1
|
2 months ago |
4 minutes |
failed
|
|
8343977
|
7.21.1-1
|
a month ago |
8 minutes |
failed
|
|
8469245
|
7.22.0-1
|
27 days ago |
2 minutes |
failed
|
|
8474231
|
7.22.1-1
|
24 days ago |
4 minutes |
failed
|
|
8493165
|
7.22.2-1
|
21 days ago |
5 minutes |
failed
|
|
8527926
|
7.23.0-1
|
13 days ago |
5 minutes |
failed
|
|
8579714
|
7.24.0-1
|
3 days ago |
3 minutes |
failed
|
Status Badge
- HTML Code:
-
- Markdown Code:
-