From e45835378f6ac897c4526b23f836c7b09cd9b17a Mon Sep 17 00:00:00 2001
From: youben11 <ayoub.benaissa@zama.ai>
Date: Mon, 7 Mar 2022 17:36:56 +0100
Subject: [PATCH] fix: use github.sha in key of compilation cache

GITHUB_SHA seems to be empty for push events
---
 .github/workflows/continuous-integration.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
index cdd1c5519..4526430ec 100644
--- a/.github/workflows/continuous-integration.yml
+++ b/.github/workflows/continuous-integration.yml
@@ -163,7 +163,7 @@ jobs:
         uses: actions/cache@v2
         with:
           path: /Users/runner/Library/Caches/ccache
-          key: ${{ runner.os }}-compilation-cache-${{ env.GITHUB_SHA }}
+          key: ${{ runner.os }}-compilation-cache-${{ github.sha }}
 
       - name: Cache compilation (pull_request)
         if: github.event_name == 'pull_request'