diff options
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/testsuite.yaml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml index 00f8565..caff6f7 100644 --- a/.github/workflows/testsuite.yaml +++ b/.github/workflows/testsuite.yaml | |||
| @@ -37,7 +37,9 @@ jobs: | |||
| 37 | - name: Build without native chk, and run the testsuite | 37 | - name: Build without native chk, and run the testsuite |
| 38 | if: ${{ matrix.use_native_chk == false }} | 38 | if: ${{ matrix.use_native_chk == false }} |
| 39 | shell: bash | 39 | shell: bash |
| 40 | run: make -C tests clean gcc run | 40 | run: | |
| 41 | make -C tests clean gcc run > ./results.txt | ||
| 42 | grep -zvq 'FAIL' ./results.txt | ||
| 41 | 43 | ||
| 42 | clang: | 44 | clang: |
| 43 | runs-on: ubuntu-latest | 45 | runs-on: ubuntu-latest |
| @@ -70,4 +72,6 @@ jobs: | |||
| 70 | - name: Building and running without native chk | 72 | - name: Building and running without native chk |
| 71 | if: ${{ matrix.use_native_chk == false }} | 73 | if: ${{ matrix.use_native_chk == false }} |
| 72 | shell: bash | 74 | shell: bash |
| 73 | run: make -C tests clean clang run | 75 | run: | |
| 76 | make -C tests clean clang run > ./results.txt | ||
| 77 | grep -zvq 'FAIL' ./results.txt | ||