Run the tests first and instrumented after that

mbarbin · mbarbin · commit 34cc510684a7 · 2026-05-15T17:59:51.000+02:00
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.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -55,7 +55,8 @@ jobs:
       - name: Build and Run tests
         run: |
           mkdir $BISECT_DIR
-          dune build @all @runtest --force --instrument-with bisect_ppx
+          dune build @all @runtest
+          dune build @runtest --force --instrument-with bisect_ppx
         env:
           BISECT_DIR: ${{ runner.temp }}/_bisect_ppx_data
           BISECT_FILE: ${{ runner.temp }}/_bisect_ppx_data/data
