(fix) CircleCI configuration update

Signed-off-by: Jerome Simeon <[email protected]>
accordproject · Nov 29, 2018 · 2fe17e8 · 2fe17e8
1 parent 623f159
commit 2fe17e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -19,7 +19,7 @@ jobs:
     - run: sudo npm install -g [email protected]
     - run: sudo wget https://raw.github.com/ocaml/opam/master/shell/opam_installer.sh -O - | sh -s /usr/local/bin
     - run: export TERM=dumb && opam init -a
-    - run: export TERM=dumb && opam switch 4.07.0
+    - run: export TERM=dumb && opam switch 4.06.1
     - run: eval `opam config env`
     - run: export TERM=dumb && opam repo add coq-released https://coq.inria.fr/opam/released || true
     - run: export TERM=dumb && opam update || true