diff options
| author | jvoisin | 2023-09-20 18:05:27 +0200 |
|---|---|---|
| committer | jvoisin | 2023-09-20 18:43:56 +0200 |
| commit | fd4332dbcd5227fde96e7bc128418d834b5b910f (patch) | |
| tree | 4b2fce2510a5a2ee189147b76ef937a1c568a090 /.github/workflows/testsuite.yaml | |
| parent | d2594298b89d0fb8989cae3ebc8900e77b6aa478 (diff) | |
Add tests for compile-time errors
Diffstat (limited to '.github/workflows/testsuite.yaml')
| -rw-r--r-- | .github/workflows/testsuite.yaml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml index c2ca309..fb655e3 100644 --- a/.github/workflows/testsuite.yaml +++ b/.github/workflows/testsuite.yaml | |||
| @@ -35,7 +35,7 @@ jobs: | |||
| 35 | run: make -C tests gcc | 35 | run: make -C tests gcc |
| 36 | - name: Running the testsuite | 36 | - name: Running the testsuite |
| 37 | shell: bash | 37 | shell: bash |
| 38 | run: make -C tests run | grep -zqv FAIL | 38 | run: make -C tests run |
| 39 | 39 | ||
| 40 | clang: | 40 | clang: |
| 41 | runs-on: ubuntu-latest | 41 | runs-on: ubuntu-latest |
| @@ -64,6 +64,9 @@ jobs: | |||
| 64 | - name: Build | 64 | - name: Build |
| 65 | shell: bash | 65 | shell: bash |
| 66 | run: make -C tests clang | 66 | run: make -C tests clang |
| 67 | - name: Running the testsuite | 67 | - name: Running the compile-time testsuite |
| 68 | shell: bash | ||
| 69 | run: make -C tests clang | ||
| 70 | - name: Running the run-time testsuite | ||
| 68 | shell: bash | 71 | shell: bash |
| 69 | run: make -C tests run | grep -zqv FAIL | 72 | run: make -C tests run |