diff options
| author | Lukáš Zaoral <lzaoral@redhat.com> | 2022-03-05 13:45:58 +0100 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-03-20 14:35:16 +0000 |
| commit | 9c73eb5081a12bf2de5e9a0cb0933cd30925ac6d (patch) | |
| tree | 982d66029f0d22180298f4104712ef4f50033d0c /.github | |
| parent | 4d7eb8bab0945665a778fbf6064aaa4016a2756c (diff) | |
| download | klee-9c73eb5081a12bf2de5e9a0cb0933cd30925ac6d.tar.gz | |
llvm14: Add LLVM 14 job to GitHub Actions
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 420ea57a..05fb58c0 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -36,6 +36,7 @@ jobs: strategy: matrix: name: [ + "LLVM 14", "LLVM 13", "LLVM 12", "LLVM 11, Doxygen", @@ -52,6 +53,9 @@ jobs: "No TCMalloc, optimised runtime", ] include: + - name: "LLVM 14" + env: + LLVM_VERSION: 14 - name: "LLVM 13" env: LLVM_VERSION: 13 |