diff options
| author | jvoisin | 2023-12-10 14:02:46 +0100 |
|---|---|---|
| committer | jvoisin | 2023-12-10 14:06:56 +0100 |
| commit | 4be9974d73c56c6e62956b87cb34a6c56267c5de (patch) | |
| tree | e7df6d634deabc796ffba69010d9b1efd43159f7 | |
| parent | 36d7b9197c4863c9a0113512bb566a2ee0b5d72d (diff) | |
Add gcc 13 to the CI
| -rw-r--r-- | .github/workflows/testsuite.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/testsuite.yaml b/.github/workflows/testsuite.yaml index 0f1f9b3..87cd035 100644 --- a/.github/workflows/testsuite.yaml +++ b/.github/workflows/testsuite.yaml | |||
| @@ -10,7 +10,7 @@ jobs: | |||
| 10 | runs-on: ubuntu-latest | 10 | runs-on: ubuntu-latest |
| 11 | strategy: | 11 | strategy: |
| 12 | matrix: | 12 | matrix: |
| 13 | version: [9, 10, 11, 12] | 13 | version: [9, 10, 11, 12, 13] |
| 14 | use_native_chk: [true, false] | 14 | use_native_chk: [true, false] |
| 15 | steps: | 15 | steps: |
| 16 | - name: Checking out the code | 16 | - name: Checking out the code |