From 8d4403e9261bb473ceb7744b5d018d7bd65c3d5d Mon Sep 17 00:00:00 2001 From: ENGO150 Date: Fri, 13 May 2022 18:49:35 +0200 Subject: [PATCH] added extra step for testing why2-app binary --- .github/workflows/why2-test.yml | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/.github/workflows/why2-test.yml b/.github/workflows/why2-test.yml index 33765c4..2565746 100644 --- 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 }} \ No newline at end of file + - name: Test Lib + run: ./${{ matrix.output }} + + - name: Test App + run: ${{ matrix.app }} \ No newline at end of file