ci: runtest

UQ-PAC · Mar 13, 2024 · 761e7d5 · 761e7d5
1 parent a177012
commit 761e7d5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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