diff options
author | Martin Nowack <m.nowack@imperial.ac.uk> | 2023-10-30 15:03:34 +0000 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
commit | 371cb97195b79259d7425a734eb51dd948025af8 (patch) | |
tree | 560727b643bcf06e3ac49364b3ec4ff744517b97 | |
parent | f3ef0540426839820b7824ac0cf5dc34e36d974a (diff) | |
download | klee-371cb97195b79259d7425a734eb51dd948025af8.tar.gz |
Enable CI to test newer LLVM versions
-rw-r--r-- | .github/workflows/build.yaml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index fa924a37..a329a02c 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -36,6 +36,8 @@ jobs: strategy: matrix: name: [ + "LLVM 16", + "LLVM 15", "LLVM 14", "LLVM 13", "LLVM 12", @@ -53,6 +55,12 @@ jobs: "No TCMalloc, optimised runtime", ] include: + - name: "LLVM 16" + env: + LLVM_VERSION: 16 + - name: "LLVM 15" + env: + LLVM_VERSION: 15 - name: "LLVM 14" env: LLVM_VERSION: 14 |