imp(ics23): fallible conversion for ProofSpec
, LeafOp
, InnerSpec
#2248
Job | Run time |
---|---|
2m 27s | |
2m 27s |
ProofSpec
, LeafOp
, InnerSpec
#2248
Job | Run time |
---|---|
2m 27s | |
2m 27s |