diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/testsuite.yaml | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml index 3185f0c..440d799 100644 --- a/.github/workflows/testsuite.yaml +++ b/.github/workflows/testsuite.yaml | |||
| @@ -43,6 +43,24 @@ jobs: | |||
| 43 | if: ${{ failure() }} | 43 | if: ${{ failure() }} |
| 44 | run: cat ./results.txt | 44 | run: cat ./results.txt |
| 45 | 45 | ||
| 46 | old_gcc: | ||
| 47 | runs-on: ubuntu-latest | ||
| 48 | container: gcc:${{ matrix.version }} | ||
| 49 | strategy: | ||
| 50 | matrix: | ||
| 51 | version: [4, 5, 6, 7, 8] | ||
| 52 | steps: | ||
| 53 | - name: Checking out the code | ||
| 54 | uses: actions/checkout@v1 | ||
| 55 | - name: Build and run the testsuite | ||
| 56 | shell: bash | ||
| 57 | run : make --silent -C tests clean gcc run | tee ./results.txt | ||
| 58 | - name: Check the testsuite's output | ||
| 59 | shell: bash | ||
| 60 | run: grep -zvq 'FAIL' ./results.txt | ||
| 61 | - name: Show logs in case of failure | ||
| 62 | if: ${{ failure() }} | ||
| 63 | run: cat ./results.txt | ||
| 46 | 64 | ||
| 47 | clang: | 65 | clang: |
| 48 | runs-on: ubuntu-latest | 66 | runs-on: ubuntu-latest |