diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2021-12-15 16:38:21 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-17 22:59:26 +0000 |
| commit | 0f45ab7a5008bd5e68201449bd1e0a999f999457 (patch) | |
| tree | 585d30a6d2cd9c2ee6c31240a86d034f10d564bb /.github | |
| parent | d8553f3cec042b5af9e21c268cb14ee8f7b30083 (diff) | |
| download | klee-0f45ab7a5008bd5e68201449bd1e0a999f999457.tar.gz | |
remove LLVM < 6 from build/test scripts
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yaml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index 64b77f38..efd72c48 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -44,10 +44,6 @@ jobs: "LLVM 8", "LLVM 7", "LLVM 6", - "LLVM 5", - "LLVM 4", - "LLVM 3.9", - "LLVM 3.8", "ASan", "UBSan", "MSan", @@ -84,19 +80,6 @@ jobs: - name: "LLVM 6" env: LLVM_VERSION: 6 - - name: "LLVM 5" - env: - LLVM_VERSION: 5 - - name: "LLVM 4" - env: - LLVM_VERSION: 4 - - name: "LLVM 3.9" - env: - LLVM_VERSION: 3.9 - - name: "LLVM 3.8" - env: - LLVM_VERSION: 3.8 - USE_LIBCXX: 0 # Sanitizer builds. Do unoptimized build otherwise the optimizer might remove problematic code - name: "ASan" env: |