Skip to content

Commit

Permalink
ci: fix coverage artifact
Browse files Browse the repository at this point in the history
  • Loading branch information
katrinafyi committed Jul 19, 2024
1 parent 728ce18 commit 8c3897d
Showing 1 changed file with 6 additions and 3 deletions.
9 changes: 6 additions & 3 deletions .github/workflows/test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,13 +29,16 @@ jobs:
- run: echo 'preparing nix shell environment'

- run: dune build --profile release
- run: dune runtest -j4
- run: dune build '@coverage' -j4

- run: |
echo "OUTPUT=$(pwd)/_build/default/tests/coverage" >> $GITHUB_OUTPUT
echo "OUTPUT=$(pwd)/_build/default/tests" >> $GITHUB_OUTPUT
rm -rf _build/default/tests/coverage/encodings
find `pwd`
id: coverage
- run: dune runtest -j4
- run: dune build '@coverage' -j4

- name: Upload new coverage results
if: always()
uses: actions/upload-artifact@v4
Expand Down

0 comments on commit 8c3897d

Please sign in to comment.