From 67e90eb4986bac21210cbe88945ce54952786c3e Mon Sep 17 00:00:00 2001
From: youben11 <ayoub.benaissa@zama.ai>
Date: Mon, 7 Mar 2022 14:14:44 +0100
Subject: [PATCH] fix: correct cache keys

---
 .github/workflows/continuous-integration.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
index 2dd76cafe..cdd1c5519 100644
--- a/.github/workflows/continuous-integration.yml
+++ b/.github/workflows/continuous-integration.yml
@@ -147,7 +147,7 @@ jobs:
         uses: actions/cache@v2
         with:
           path: ${{ github.workspace }}/concrete/target
-          key: concrete-compiler-concrete-lib-${{ steps.concretelib-hash.outputs.COMMIT_SHA }}
+          key: ${{ runner.os }}-concrete-lib-${{ steps.concretelib-hash.outputs.COMMIT_SHA }}
 
       - name: Install Deps
         run: |
@@ -163,7 +163,7 @@ jobs:
         uses: actions/cache@v2
         with:
           path: /Users/runner/Library/Caches/ccache
-          key: ${{ runner.os }}-compilation-cache-$GITHUB_SHA
+          key: ${{ runner.os }}-compilation-cache-${{ env.GITHUB_SHA }}
 
       - name: Cache compilation (pull_request)
         if: github.event_name == 'pull_request'