From e067a13c35bc15231fb36e64079d9d66de7bf9c2 Mon Sep 17 00:00:00 2001
From: Yishuai Li <yishuai@upenn.edu>
Date: Thu, 16 Jan 2020 10:02:33 -0500
Subject: [PATCH] ci: more versions supported

---
 .circleci/config.yml | 20 +++++++++++++++++---
 1 file changed, 17 insertions(+), 3 deletions(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index c99d9da5..43d00de3 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -13,7 +13,6 @@ defaults: &defaults
       command: |
         opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
         opam update
-        opam pin -n coq-ext-lib 0.10.2
         opam install coq-quickchick
   - run:
       name: List installed packages
@@ -43,13 +42,28 @@ defaults: &defaults
         done
 
 jobs:
-  coq.8.9:
+  coq 8_8:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.8
+  coq 8_9:
     <<: *defaults
     docker:
     - image: coqorg/coq:8.9
+  coq 8_10:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.10
+  coq dev:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:dev
 
 workflows:
   version: 2
   build:
     jobs:
-    - coq.8.9
+    - coq 8_8
+    - coq 8_9
+    - coq 8_10
+    - coq dev