From cae23bc15d4778a316ae58b5e690d45e4432850c Mon Sep 17 00:00:00 2001
From: Ayoub Benaissa <ayoub.benaissa@zama.ai>
Date: Fri, 8 Apr 2022 11:04:26 +0100
Subject: [PATCH] ci: download keyset cache before tests if required

---
 .github/workflows/continuous-integration.yml | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml
index f9bde5a5b..164d727f9 100644
--- a/.github/workflows/continuous-integration.yml
+++ b/.github/workflows/continuous-integration.yml
@@ -204,12 +204,6 @@ jobs:
         id: tmpdir-path
         run: echo "::set-output name=TMPDIR_PATH::`echo $TMPDIR`"
 
-      - name: Download KeySetCache
-        continue-on-error: true
-        run: |
-          cd compiler
-          GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} make keysetcache_ci_populated
-
       # We do run test-check as part of the build, as they aren't that costly
       # and will at least give minimum confidence that the compiler works in PRs
       - name: Build
@@ -221,6 +215,13 @@ jobs:
           make python-bindings build-tests test-check
           echo "Debug: ccache statistics (after the build):"
           ccache -s
+          
+      - name: Download KeySetCache
+        continue-on-error: true
+        if: github.event_name == 'push'
+        run: |
+          cd compiler
+          GITHUB_TOKEN=${{ secrets.GITHUB_TOKEN }} make keysetcache_ci_populated
 
       - name: Test
         if: github.event_name == 'push'