Closed patricoferris closed 2 years ago
This PR removes all of the OCaml-CI code that is not relevant for the solver service. The import from OCaml-CI preserves the original authors commits and hard-work :))
This PR removes all of the OCaml-CI code that is not relevant for the solver service. The import from OCaml-CI preserves the original authors commits and hard-work :))