From 761e7d5081621180a3523912ad06ead240f324b8 Mon Sep 17 00:00:00 2001 From: rina Date: Wed, 13 Mar 2024 16:49:18 +1000 Subject: [PATCH] ci: runtest --- .github/workflows/test.yml | 1 + 1 file changed, 1 insertion(+) 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