diff options
-rw-r--r-- | .github/workflows/github-ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml index 4b02bfcc..2489d112 100644 --- a/.github/workflows/github-ci.yml +++ b/.github/workflows/github-ci.yml @@ -1,4 +1,4 @@ -name: LK CI +name: LK CI (gcc) # Brute force build a bunch of variants of LK in parallel jobs. @@ -10,7 +10,7 @@ jobs: strategy: fail-fast: false matrix: - toolchain-ver: [12.2.0, 7.5.0] + toolchain-ver: [13.2.0, 7.5.0] debug: [2, 0] ubsan: [1, 0] project: |