diff --git a/.github/workflows/build-project.yml b/.github/workflows/build-project.yml
index 450a772..341815f 100644
--- a/.github/workflows/build-project.yml
+++ b/.github/workflows/build-project.yml
@@ -41,7 +41,7 @@ jobs:
           fetch-depth: 0 # Fetch all history for all branches and tags
 
       - name: Install and configure Lean, and get mathlib cache
-        uses: leanprover/lean-action@434f25c2f80ded67bba02502ad3a86f25db50709 # v1.3.0
+        uses: leanprover/lean-action@c544e89643240c6b398f14a431bcdc6309e36b3e # v1.4.0
         with:
           auto-config: false
           use-github-cache: false