Update test.yml

marcoeilers · Oct 4, 2021 · 8b967ea · 8b967ea
1 parent 983658f
commit 8b967ea
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -31,5 +31,4 @@ jobs:
         pip install .
     - name: Test with pytest
       run: |
-        nagini --verifier=carbon tests/functional/verification/empty.py
         pytest src/nagini_translation/tests.py --silicon --carbon