diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 93711202..c2d50757 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -28,6 +28,7 @@ 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