diff options
| author | jvoisin | 2023-12-28 10:13:53 +0100 |
|---|---|---|
| committer | jvoisin | 2023-12-28 16:11:04 +0100 |
| commit | f3c0bfdb96ec00aaefdb75024059aa33895726c5 (patch) | |
| tree | c8d9052736ba8a1b08d65561916aba47a065928a /.github/workflows | |
| parent | bcf82d51e6a5c3b3145afe8bacfa03b92d5b3f5d (diff) | |
Make the CI fail when the testsuite fails
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 | ||
