Enable tests in CI

colis-anr · May 5, 2023 · 9f21ff6 · 9f21ff6
1 parent f32658c
commit 9f21ff6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -39,6 +39,10 @@ jobs:
         run: |
           nix develop .#${{ matrix.package }} --command make
 
+      - name: Run tests in development Shell
+        run: |
+          nix develop .#${{ matrix.package }} --command make tests
+
       - name: Build documentation in development Shell
         run: |
           nix develop .#${{ matrix.package }} --command make doc