chore(dep) Upgrade to Q*cert 1.4.0 & Lerna

Signed-off-by: Jerome Simeon <[email protected]>
jeromesimeon · Oct 6, 2019 · f743a23 · f743a23
1 parent c52d592
commit f743a23
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -1,5 +1,5 @@
 common_cache_key: &common_cache_key
-  key: dependency-cache-{{ checksum "../ocaml-version" }}-{{ checksum ".circleci/config.yml" }}
+  key: dependency-cache-{{ .Branch }}-{{ checksum "../ocaml-version" }}-{{ checksum ".circleci/config.yml" }}
 
 common_steps: &common_steps
   steps:
@@ -19,7 +19,7 @@ common_steps: &common_steps
     - run:
         name: "Install prerequisites"
         command: |
-          sudo npm install -g lerna@2.11.0
+          sudo npm install -g lerna@^3.15.0
           sudo apt-get update
           sudo apt-get install -y m4
           sudo apt-get install -y pkg-config libncurses5-dev
@@ -48,7 +48,7 @@ common_steps: &common_steps
     - run:
         name: "Install Q*cert"
         command: |
-          opam install -y -v coq-qcert.1.3.0
+          opam install -y -v coq-qcert.1.4.0
         no_output_timeout: 30m
     - save_cache:
         <<: *common_cache_key