diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
index efb7299..95d43de 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@50fcf42d2e460296f1a34b402e990d1b24f8b596 # v1.6.0
+        uses: leanprover/lean-action@fe408643ea7367d8c0404a8be3975bb145f5fb64 # v1.7.0
 
       - name: Cleanup to free disk space
         uses: jlumbroso/free-disk-space@main