fix GH action cache

reilabs · Jul 26, 2024 · 5293414 · 5293414
1 parent ee887a2
commit 5293414
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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