From 59d6990dd3eae8504a08c4f80fa00696ee473b22 Mon Sep 17 00:00:00 2001 From: Ycarus Date: Wed, 2 May 2018 17:15:55 +0200 Subject: [PATCH] Update CircleCI caches --- .circleci/config.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.circleci/config.yml b/.circleci/config.yml index 89e17f8e9..363c9a666 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -85,8 +85,8 @@ jobs: - run: name: cache command: | - echo "cache 6 $OMR_TARGET" > /tmp/cache-target - echo "cache 10 $OMR_TARGET $OMR_VERSION" > /tmp/cache-version + echo "cache 7 $OMR_TARGET" > /tmp/cache-target + echo "cache 11 $OMR_TARGET $OMR_VERSION" > /tmp/cache-version - restore_cache: keys: