llvm11: Add LLVM 11 to GitHub Actions and Travis CI

UnitTestBot · Dec 4, 2020 · f9b7c90 · f9b7c90
1 parent 64bcc64
commit f9b7c90
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
@@ -36,6 +36,7 @@ jobs:
     strategy:
       matrix:
         name: [
+                "LLVM 11",
                 "LLVM 10",
                 "LLVM 9",
                 "LLVM 8",
@@ -57,6 +58,9 @@ jobs:
                 "No TCMalloc, optimised runtime",
             ]
         include:
+          - name: "LLVM 11"
+            env:
+              LLVM_VERSION: 11
           - name: "LLVM 10"
             env:
               LLVM_VERSION: 10
@@ -182,4 +186,4 @@ jobs:
       - name: Build KLEE
         run: scripts/build/build.sh klee --docker --create-final-image
       - name: Run tests
-        run: scripts/build/run-tests.sh --coverage --upload-coverage --run-docker --debug
+        run: scripts/build/run-tests.sh --coverage --upload-coverage --run-docker --debug
diff --git a/.travis.yml b/.travis.yml
@@ -12,7 +12,7 @@ env:
     ###########################################################################
 
     # Check a subset of the matrix of:
-    #   LLVM  : {3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0}
+    #   LLVM  : {3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0, 11.0}
     #   SOLVERS : {Z3, STP, STP:Z3, metaSMT}
     #   STP_VERSION   : {2.3.3, master}
     #   METASMT_VERSION : {v4.rc1}
@@ -53,6 +53,9 @@ env:
 jobs:
     include:
     # Check supported LLVM versions
+    - name: "LLVM 11"
+      env: LLVM_VERSION=11.0
+
     - name: "LLVM 10"
       env: LLVM_VERSION=10.0