Closed lolepezy closed 6 months ago
Use proper timeouts for them as well
Fixed in https://github.com/lolepezy/rpki-prover/pull/201
Use proper timeouts for them as well