From e6fd6f04a1c64eac285ec2664f69dcb2bc885a6c Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Fri, 6 May 2022 17:57:41 +0200
Subject: [PATCH] removed unused flag

---
 .github/workflows/why2-test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: