From 1894396bd9713a94a24ce65a1297aa99ef0fb8e2 Mon Sep 17 00:00:00 2001
From: Gabriele Battimelli <info@gabrielebattimelli.com>
Date: Thu, 23 Apr 2026 10:19:13 +0200
Subject: [PATCH] Use lake exe cache get to skip rebuilding Mathlib

---
 .github/workflows/weekly-index.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/weekly-index.yml b/.github/workflows/weekly-index.yml
index 5aa6ad9..3d774b6 100644
--- a/.github/workflows/weekly-index.yml
+++ b/.github/workflows/weekly-index.yml
@@ -103,8 +103,8 @@ jobs:
 
       - name: Build PhysLib
         if: steps.check.outputs.has_changes == 'true'
-        run: cd physlib && lake build
-        timeout-minutes: 90
+        run: cd physlib && lake exe cache get && lake build
+        timeout-minutes: 30
 
       # jixia must be cloned before its cache step
       - name: Clone jixia