From 5293414af65ca6da257347e0d844c4ab74362f3e Mon Sep 17 00:00:00 2001
From: Marcin Kostrzewa <marckostrzewa@gmail.com>
Date: Fri, 26 Jul 2024 16:13:50 +0200
Subject: [PATCH] fix GH action cache

---
 .github/workflows/prover-test.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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