From 75848bfda20d01e1723eb2a14cd68987f8da0e3a Mon Sep 17 00:00:00 2001
From: rami3l <rami3l@outlook.com>
Date: Sat, 30 May 2026 13:55:46 +0200
Subject: [PATCH] ci: update cache paths for new `lake`

---
 .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 8c6ec69..b1a9f5b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -28,7 +28,7 @@ jobs:
         uses: actions/cache@v3
         with:
           path: |
-            ./lake-packages
+            ./.lake/packages
           key: deps-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ hashFiles('lake-manifest.json') }}
           restore-keys: |
             deps-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}
@@ -37,7 +37,7 @@ jobs:
         uses: actions/cache@v3
         with:
           path: |
-            ./build
+            ./.lake/build
           key: build-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}-${{ github.sha }}
           restore-keys: |
             build-${{ runner.os }}-${{ hashFiles('lean-toolchain') }}