diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/testsuite.yaml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml index e292511..1a9fc65 100644 --- a/.github/workflows/testsuite.yaml +++ b/.github/workflows/testsuite.yaml | |||
| @@ -74,6 +74,7 @@ jobs: | |||
| 74 | run: make CFLAGS=-DUSE_NATIVE_CHK -C tests clang | 74 | run: make CFLAGS=-DUSE_NATIVE_CHK -C tests clang |
| 75 | - name: Building and running without native chk | 75 | - name: Building and running without native chk |
| 76 | if: ${{ matrix.use_native_chk == false }} | 76 | if: ${{ matrix.use_native_chk == false }} |
| 77 | continue-on-error: true | ||
| 77 | shell: bash | 78 | shell: bash |
| 78 | run: | | 79 | run: | |
| 79 | make -C tests clean clang run > ./results.txt | 80 | make -C tests clean clang run > ./results.txt |