diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock
index 6f6682a..ca24705 100644
--- a/.github/workflows/actions.lock
+++ b/.github/workflows/actions.lock
@@ -5,7 +5,7 @@ version: 'v0.0.3'
 workflows:
     '.github/workflows/ci.yml':
         - 'actions/checkout@v7.0.1'
-        - 'leanprover/lean-action@v1.6.2'
+        - 'leanprover/lean-action@v1.7.0'
     '.github/workflows/codeql.yml':
         - 'actions/checkout@v7.0.1'
         - 'github/codeql-action@v4.39.1'
@@ -48,9 +48,9 @@ dependencies:
         commit: 'sha1-9b3254085494b55a0f7c4c2b3d2d52cc712ce370'
         owner_id: 9919
         repo_id: 259445878
-    'leanprover/lean-action@v1.6.2':
-        ref: 'v1.6.2'
-        commit: 'sha1-24581d74d674803a25a81b10b059c5c0cdd344c6'
+    'leanprover/lean-action@v1.7.0':
+        ref: 'v1.7.0'
+        commit: 'sha1-fe408643ea7367d8c0404a8be3975bb145f5fb64'
         owner_id: 7233018
         repo_id: 795738301
         uses:
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 10e691d..f433b08 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -17,6 +17,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v7.0.1
-      - uses: leanprover/lean-action@v1.6.2
+      - uses: leanprover/lean-action@v1.7.0
       - name: No sorries
         run: "! grep -rn 'sorry' Marches/ Marches.lean"