diff --git a/.circleci/config.yml b/.circleci/config.yml
index e106524..12fd300 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -79,6 +79,12 @@ workflows:
     - build:
         name: "Coq 8.15"
         coq: "coqorg/coq:8.15"
+    - build:
+        name: "Coq 8.16"
+        coq: "coqorg/coq:8.16"
+    - build:
+        name: "Coq 8.17"
+        coq: "coqorg/coq:8.17"
     - build:
         name: "Coq dev"
         coq: "coqorg/coq:dev"