Run the tests first and instrumented after that
Pragmatically when running locally I have observed that this sequence usually
ends up resolving the partial coverage report that otherwise gets generated
sometimes.
That is a an experimental change to adopt dune `3.23.1` to work around the
partial coverage issue. Better fix left as future work.
34cc51
-
May 15 16:02 +00:00