From 1b8eb591b9154e2c40cdac12299e570e0fff138f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 12 Jun 2018 17:54:18 +0200
Subject: [ci] update docker image to include elpi 1.0.4

---
 .circleci/config.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '.circleci')

diff --git a/.circleci/config.yml b/.circleci/config.yml
index cff461295..03aeed2eb 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -11,7 +11,7 @@ defaults:
       - image: $CI_REGISTRY_IMAGE:$CACHEKEY
 
   environment: &envvars
-    CACHEKEY: "bionic_coq-V2018-06-04-V2"
+    CACHEKEY: "bionic_coq-V2018-06-13-V1"
     CI_REGISTRY_IMAGE: registry.gitlab.com/coq/coq
 
 version: 2
-- 
cgit v1.2.3