Closed moyodiallo closed 2 years ago
The current dir may be lost and the start of the solver process could fail, If there's no solver_dir at the start.
This is linked to "https://github.com/ocurrent/ocaml-multicore-ci/pull/37"
The current dir may be lost and the start of the solver process could fail, If there's no solver_dir at the start.
This is linked to "https://github.com/ocurrent/ocaml-multicore-ci/pull/37"