added testing why2-app into gh workflow

2022-05-04 19:07:52 +02:00 · 2022-05-04 19:07:52 +02:00 · 2441fbf832
commit 2441fbf832
parent 6cad7ff693
1 changed files with 4 additions and 1 deletions
--- 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 }}