CI: Coq 8.16 and 8.17

liyishuai · liyishuai · commit 5f48fb36d6bf · 2023-03-09T12:03:51.000+08:00
diff --git 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"
