fix(build): Better CircleCI cache key

Signed-off-by: Jerome Simeon <Jerome.Simeon@docusign.com>
accordproject · Mar 10, 2022 · 0fe79c7 · 0fe79c7
1 parent 3f80bb5
commit 0fe79c7
Showing 1 changed file with 1 addition and 1 deletion.
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-{{ checksum "../ocaml-version" }}-{{ checksum ".circleci/config.yml" }}-{{ checksum "coq-ergo-lang.opam" }}
 
 common_steps: &common_steps
   steps: