diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 0e3a94b..36c0aa8 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -37,7 +37,7 @@ jobs:
       run: |
         export AMARANTH_USE_YOSYS=builtin YOSYS=yowasp-yosys SBY=yowasp-sby SMTBMC=yowasp-yosys-smtbmc
         export PYTHONWARNINGS=error
-        python -m coverage run -m unittest
+        python -m coverage run -m unittest -t . -s tests
         codecov
   document:
     runs-on: ubuntu-latest