From ca3e4c09b681dcda54360cfd00022114341f9723 Mon Sep 17 00:00:00 2001 From: Mathieu Barbin Date: Fri, 15 May 2026 17:41:47 +0200 Subject: [PATCH] Attempt running the test twice Pragmatically when running locally I have witnessed that this usually end up resolving the partial coverage report that otherwise gets generated sometimes. That is an experimental change to try and get going, not a proper fix. --- .github/workflows/ci.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bb1d344..2ba7e95 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -45,7 +45,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