diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
index 15bcbe7d42..9aaa99c71e 100644
--- a/.github/workflows/build.yaml
+++ b/.github/workflows/build.yaml
@@ -36,6 +36,7 @@ jobs:
     strategy:
       matrix:
         name: [
+                "LLVM 12",
                 "LLVM 11",
                 "LLVM 10",
                 "LLVM 9",
@@ -58,6 +59,9 @@ jobs:
                 "No TCMalloc, optimised runtime",
             ]
         include:
+          - name: "LLVM 12"
+            env:
+              LLVM_VERSION: 12
           - name: "LLVM 11"
             env:
               LLVM_VERSION: 11
diff --git a/.travis.yml b/.travis.yml
index 2fc6508ac7..8c7598aad7 100644
--- 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, 11.0}
+    #   LLVM  : {3.8, 3.9, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0, 10.0, 11.0, 12.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 12"
+      env: LLVM_VERSION=12.0
+
     - name: "LLVM 11"
       env: LLVM_VERSION=11.0