diff --git a/.github/workflows/build-doc.yml b/.github/workflows/build-doc.yml
index 13974ed9f..d28efe23a 100644
--- a/.github/workflows/build-doc.yml
+++ b/.github/workflows/build-doc.yml
@@ -46,7 +46,7 @@ jobs:
           fetch-depth: 1
           
       - name: Build project
-        uses: leanprover/lean-action@96e06131c0e9943c780388fd166f55d1e2fa0433 # 2026-01-15
+        uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 # 2026-01-15
         with:
           build: true
           lint: true
diff --git a/.github/workflows/build-project.yml b/.github/workflows/build-project.yml
index 2829f2e2c..9ac197082 100644
--- a/.github/workflows/build-project.yml
+++ b/.github/workflows/build-project.yml
@@ -37,7 +37,7 @@ jobs:
           fetch-depth: 1
           
       - name: Build project
-        uses: leanprover/lean-action@96e06131c0e9943c780388fd166f55d1e2fa0433 # 2026-01-15
+        uses: leanprover/lean-action@f061402b660e0c34644504b324e830f2991d4865 # 2026-01-15
         with:
           build: true
           lint: true