diff --git a/.github/workflows/lean.yml b/.github/workflows/lean.yml
index 0368388..87c3cd1 100644
--- a/.github/workflows/lean.yml
+++ b/.github/workflows/lean.yml
@@ -37,7 +37,7 @@ jobs:
       # Installs elan + the toolchain from lean-toolchain, then runs `lake build`.
       # No test/lint targets and no Mathlib in this project, so those are off.
       - name: Build + verify Lean proofs
-        uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 # v1.6.2
+        uses: leanprover/lean-action@fe408643ea7367d8c0404a8be3975bb145f5fb64 # v1.7.0
         with:
           lake-package-directory: academic/formal-verification/lean4
           build: "true"