diff --git a/.github/workflows/master_docker.yml b/.github/workflows/master_docker.yml index c19a050..a0bb9f0 100644 --- a/.github/workflows/master_docker.yml +++ b/.github/workflows/master_docker.yml @@ -7,6 +7,7 @@ on: push: branches: - 'master' + env: OPAMROOT: /home/opam/.opam OPAMYES: true @@ -55,10 +56,6 @@ jobs: run: | opam exec -- dune build - - name: Running tests... - run: | - opam exec -- dune runtest - - name: Build API documentation run: opam exec -- dune build @doc @@ -85,6 +82,20 @@ jobs: keep_files: true destination_dir: lints + - name: Running tests... + run: | + opam exec -- dune runtest --instrument-with bisect_ppx + env: + BISECT_DIR: ${{ runner.temp }}/_bisect_ppx_data + BISECT_FILE: ${{ runner.temp }}/_bisect_ppx_data/data + + - name: Send coverage report to Coveralls + run: opam exec -- bisect-ppx-report send-to Coveralls --coverage-path $BISECT_DIR + env: + BISECT_DIR: ${{ runner.temp }}/_bisect_ppx_data + COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }} + PULL_REQUEST_NUMBER: ${{ github.event.number }} + # - name: Deploy linters' descriptions to another repo # uses: peaceiris/actions-gh-pages@v3 # with: diff --git a/Makefile b/Makefile index e525b40..311a580 100644 --- a/Makefile +++ b/Makefile @@ -34,5 +34,5 @@ test_coverage: mkdir -p $(TEST_COV_D) BISECT_FILE=$(TEST_COV_D)/zanuda dune runtest --no-print-directory \ --instrument-with bisect_ppx --force - bisect-ppx-report html --coverage-path $(TEST_COV_D) - bisect-ppx-report summary --coverage-path $(TEST_COV_D) + bisect-ppx-report html --coverage-path $(TEST_COV_D) --expect src/ + bisect-ppx-report summary --coverage-path $(TEST_COV_D) --expect src/