Merge pull request #299 from mtzguido/nitci

ci.yml: nit
FStarLang · Jan 8, 2025 · f6fbe18 · f6fbe18
2 parents 899754c + da09b31
commit f6fbe18
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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
 
@@ -87,6 +87,7 @@ jobs:
         run: . $HOME/.cargo/env && make -C pulse ci -skj$(nproc)
 
       - name: Calculate Time
+        if: ${{ always () }}
         id: duration
         uses: RockyIsHere/[email protected]
         env: