diff options
Diffstat (limited to '.github')
| -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 |