diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/testsuite.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml index 7870ad1..6ceb3bd 100644 --- a/.github/workflows/testsuite.yaml +++ b/.github/workflows/testsuite.yaml | |||
| @@ -74,7 +74,6 @@ 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 | ||
| 78 | shell: bash | 77 | shell: bash |
| 79 | run: | | 78 | run: | |
| 80 | make -C tests clean clang run > ./results.txt | 79 | make -C tests clean clang run > ./results.txt |