From 8cebdf1a784f855576401a51de182aa708a47b51 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Fri, 27 Apr 2018 15:04:26 +0200
Subject: circle CI: do not use cache from old config.yml versions

It begs things to break when the cache is out of sync with the system packages.
---
 .circleci/config.yml | 1 -
 1 file changed, 1 deletion(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index d6a8e059c..e24a9fc93 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -54,7 +54,6 @@ opam-switch: &opam-switch
     - restore_cache:
         keys:
           - coq-opam-cache-v1-{{ arch }}-{{ checksum "COMPILER" }}-{{ checksum ".circleci/config.yml" }}-
-          - coq-opam-cache-v1-{{ arch }}-{{ checksum "COMPILER" }}- # this grabs old cache if checksum doesn't match
     - run:
         name: Update opam lists
         command: |
-- 
cgit v1.2.3