diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index b0ac66ca..be6adb4b 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -175,7 +175,6 @@ jobs: run: opam install . --deps-only --with-test --with-doc - name: Run tests with bisect_ppx instrumentation - continue-on-error: true run: | opam exec -- dune runtest --force --instrument-with bisect_ppx