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.