fix(rust): Interpret max_depth
in proof specs as 128 if left to 0
#708
Job | Run time |
---|---|
3s | |
3s |
max_depth
in proof specs as 128 if left to 0
#708
Job | Run time |
---|---|
3s | |
3s |