fix(distance): max_depth, compute min_certs_for_referee
Failed
Pascal Engélibert
created pipeline for commit
2dc0ffb8
, finished
Related merge request !105 to merge distance
60 minutes 10 seconds, queued for 5 seconds