diff --git a/.circleci/config.yml b/.circleci/config.yml
index 6723b66..b5459b6 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -77,6 +77,9 @@ workflows:
     - build:
         name: "Coq 8.13-ocaml-4.11-flambda"
         coq: "coqorg/coq:8.13-ocaml-4.11-flambda"
+    - build:
+        name: "Coq 8.14-ocaml-4.12-flambda"
+        coq: "coqorg/coq:8.14-ocaml-4.12-flambda"
     - build:
         name: "Coq dev-ocaml-4.11-flambda"
         coq: "coqorg/coq:dev-ocaml-4.11-flambda"
diff --git a/meta.yml b/meta.yml
index 43247d5..702edcc 100644
--- a/meta.yml
+++ b/meta.yml
@@ -39,6 +39,7 @@ tested_coq_opam_versions:
   - version: '8.11-ocaml-4.11-flambda'
   - version: '8.12-ocaml-4.11-flambda'
   - version: '8.13-ocaml-4.11-flambda'
+  - version: '8.14-ocaml-4.12-flambda'
   - version: 'dev-ocaml-4.11-flambda'
 
 make_target: theories