added extra step for testing why2-app binary

2022-05-13 18:49:35 +02:00 · 2022-05-13 18:49:35 +02:00 · 8d4403e926
commit 8d4403e926
parent 8208f02866
1 changed files with 9 additions and 5 deletions
--- a/.github/workflows/why2-test.yml
+++ b/.github/workflows/why2-test.yml
@ -39,13 +39,17 @@ jobs:
      - name: Praparating
        run: sudo ./${{ matrix.configure }}

-      - name: Install WHY2
+      - name: Install WHY2 (Lib)
        run: sudo ./${{ matrix.build }} install

+      - name: Install WHY2 (App)
+        run: sudo ./${{ matrix.build }} test
+
      - name: Build WHY2 (Test)
        run: ./${{ matrix.build }} test

-      - name: Test
-        run: |
-          ./${{ matrix.output }}
-#          ${{ matrix.app }}
+      - name: Test Lib
+        run: ./${{ matrix.output }}
+
+      - name: Test App
+        run: ${{ matrix.app }}