added logger-app test into logger-test workflow

ENGO150 · Feb 8, 2023 · c0046f6 · c0046f6
1 parent b57cd2b
commit c0046f6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/why2-logger-test.yml b/.github/workflows/why2-logger-test.yml
@@ -35,6 +35,7 @@ jobs:
             output: ./out/why2-logger-test
             configure: configure.sh
             valgrind: valgrind --leak-check=full --show-leak-kinds=reachable --track-origins=yes -s
+            app: why2-logger
 
     steps:
       - name: Checkout repository
@@ -66,5 +67,8 @@ jobs:
       - name: Test Lib
         run: ./${{ matrix.output }}
 
+      - name: Test App
+        run: ${{ matrix.app }}
+
       - name: Test Lib by Valgrind
         run: ${{ matrix.valgrind }} ${{ matrix.output }}