make ci tests output verbose

Signed-off-by: Thing-han, Lim <[email protected]>
pq-code-package · Jun 17, 2024 · 8048dd7 · 8048dd7
1 parent 4caacc6
commit 8048dd7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -46,15 +46,15 @@ jobs:
         id: func_test
         shell: nix develop .#ci -c bash -e {0}
         run: |
-          tests func
+          tests func -v
       - name: Run KAT tests
         id: kat_test
         if: |
           success()
           || steps.func_test.conclusion == 'failure'
         shell: nix develop .#ci -c bash -e {0}
         run: |
-          tests kat
+          tests kat -v
       - name: Run Nistkat tests
         id: nistkat_test
         if: |
@@ -63,7 +63,7 @@ jobs:
           || steps.kat_test.conclusion == 'failure'
         shell: nix develop .#ci -c bash -e {0}
         run: |
-          tests nistkat
+          tests nistkat -v
   lint:
     strategy:
       matrix: