diff --git a/.github/workflows/build-and-test.yml b/.github/workflows/build-and-test.yml index d4eafcf3e..f6eeffc38 100644 --- a/.github/workflows/build-and-test.yml +++ b/.github/workflows/build-and-test.yml @@ -90,7 +90,6 @@ jobs: opam install . --deps-only opam exec -- make coverage-deps install-test-deps - run: opam exec -- make test-coverage - continue-on-error: true env: COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }} PULL_REQUEST_NUMBER: ${{ github.event.number }} \ No newline at end of file