Fix build after SimpleSmt
change in miden-crypto
#4381
Job | Run time |
---|---|
14s | |
59s | |
46s | |
40s | |
56s | |
43s | |
52s | |
0s | |
5m 45s | |
48s | |
3m 18s | |
53s | |
5m 19s | |
2m 57s | |
50s | |
25m 0s |
SimpleSmt
change in miden-crypto
#4381
Job | Run time |
---|---|
14s | |
59s | |
46s | |
40s | |
56s | |
43s | |
52s | |
0s | |
5m 45s | |
48s | |
3m 18s | |
53s | |
5m 19s | |
2m 57s | |
50s | |
25m 0s |