diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index e1a27290..983ac4c3 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -32,4 +32,5 @@ jobs:
         pip install .
     - name: Test with pytest
       run: |
+        nagini --verifier=carbon tests/functional/verification/empty.py
         pytest src/nagini_translation/tests.py --silicon --carbon