diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index 88356d3..a287e55 100644
--- a/.github/workflows/blueprint.yml
+++ b/.github/workflows/blueprint.yml
@@ -42,7 +42,7 @@ jobs:
 
       - name: Build and lint the project.
         id: build-lean
-        uses: leanprover/lean-action@c544e89643240c6b398f14a431bcdc6309e36b3e # v1.4.0
+        uses: leanprover/lean-action@38fbc41a8c28c4cbaec22d7f7de508ec2e7c0dd9 # v1.5.0
 
       - name: Cleanup to free disk space
         uses: jlumbroso/free-disk-space@main