Skip to content

Commit

Permalink
CI: bisect_ppx
Browse files Browse the repository at this point in the history
Signed-off-by: Kakadu <Kakadu@pm.me>
  • Loading branch information
Kakadu committed May 5, 2023
1 parent da7c528 commit a4f8da7
Show file tree
Hide file tree
Showing 2 changed files with 17 additions and 6 deletions.
19 changes: 15 additions & 4 deletions .github/workflows/master_docker.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,7 @@ on:
push:
branches:
- 'master'

env:
OPAMROOT: /home/opam/.opam
OPAMYES: true
Expand Down Expand Up @@ -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

Expand All @@ -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:
Expand Down
4 changes: 2 additions & 2 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -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/

0 comments on commit a4f8da7

Please sign in to comment.