diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2024-02-01 14:51:37 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-16 21:35:55 +0000 |
| commit | 325c6cdcab632a6824be8ca9a926f4c4573adbdb (patch) | |
| tree | 2c896335b546ae6ec4197ae26155dc9760b6c913 /.github/workflows | |
| parent | c966cc6aada0e401fa0fa7caf2c359bfc5c4eb9a (diff) | |
| download | klee-325c6cdcab632a6824be8ca9a926f4c4573adbdb.tar.gz | |
drop llvm 9 and 10
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yaml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml index a329a02c..fcd21892 100644 --- a/.github/workflows/build.yaml +++ b/.github/workflows/build.yaml @@ -42,8 +42,6 @@ jobs: "LLVM 13", "LLVM 12", "LLVM 11, Doxygen", - "LLVM 10", - "LLVM 9", "ASan", "UBSan", "MSan", @@ -74,12 +72,6 @@ jobs: env: LLVM_VERSION: 11 ENABLE_DOXYGEN: 1 - - name: "LLVM 10" - env: - LLVM_VERSION: 10 - - name: "LLVM 9" - env: - LLVM_VERSION: 9 # Sanitizer builds. Do unoptimized build otherwise the optimizer # might remove problematic code - name: "ASan" |