From 2441fbf832086c3bcf2fb40f812639ac79359c60 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Wed, 4 May 2022 19:07:52 +0200
Subject: [PATCH] added testing why2-app into gh workflow

---
 .github/workflows/why2-test.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml
index 0b76f6d..ccb92ea 100644
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@@ -17,6 +17,7 @@ jobs:
             output: out/why2-test
             configure: configure.sh
             build: build.sh
+            app: why2
             
     steps:
       - name: Checkout repository
@@ -45,7 +46,9 @@ jobs:
         run: ./${{ matrix.build }} test
 
       - name: Test
-        run: ./${{ matrix.output }} skipCheck
+        run: |
+          ./${{ matrix.output }} skipCheck
+          ${{ app }}
 
   test-project:
     runs-on: ${{ matrix.os }}