CI for Coq 8.13

liyishuai · liyishuai · commit b8dd24dd903e · 2020-12-21T20:11:38.000-05:00
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -71,6 +71,9 @@ workflows:
     - build:
         name: "Coq 8.12"
         coq: "coqorg/coq:8.12"
+    - build:
+        name: "Coq 8.13"
+        coq: "coqorg/coq:8.13"
     - build:
         name: "Coq dev"
         coq: "coqorg/coq:dev"
