diff --git a/.github/workflows/prover-test.yml b/.github/workflows/prover-test.yml
index da14e2099d..3e659bf89e 100644
--- a/.github/workflows/prover-test.yml
+++ b/.github/workflows/prover-test.yml
@@ -42,7 +42,7 @@ jobs:
       - name: Cache dependencies
         uses: actions/cache@v3
         with:
-          path: formal-verification/lake-packages
+          path: light-prover/formal-verification/lake-packages
           key: "${{ env.LAKE_VERSION }}"
 
       - name: Download keys