From da09b3142e277d88fd8b581941210fbf1994cc76 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= Date: Tue, 7 Jan 2025 23:31:29 -0800 Subject: [PATCH] ci.yml: caching karamel depends on F* too --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 0e4a91cb3..62bc8f4cd 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -62,7 +62,7 @@ jobs: uses: actions/cache/restore@v4 with: path: karamel - key: karamel-${{ runner.os }}-${{ runner.arch }}-${{ steps.checkout-karamel.outputs.commit }} + key: karamel-${{ runner.os }}-${{ runner.arch }}-${{ steps.checkout-fstar.outputs.commit }}-${{ steps.checkout-karamel.outputs.commit }} - name: Build karamel (if not cached) if: steps.cache-karamel.outputs.cache-hit != 'true' @@ -74,7 +74,7 @@ jobs: uses: actions/cache/save@v4 with: path: karamel - key: karamel-${{ runner.os }}-${{ runner.arch }}-${{ steps.checkout-karamel.outputs.commit }} + key: karamel-${{ runner.os }}-${{ runner.arch }}-${{ steps.checkout-fstar.outputs.commit }}-${{ steps.checkout-karamel.outputs.commit }} - run: echo "KRML_HOME=$(pwd)/karamel" | sudo tee -a $GITHUB_ENV