diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml
index 8951071..d77e200 100644
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@@ -47,7 +47,7 @@ jobs:
 
       - name: Test
         run: |
-          ./${{ matrix.output }} skipCheck
+          ./${{ matrix.output }}
           ${{ matrix.app }}
 
   test-project: