diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock
index 405c83f..f3bebb4 100644
--- a/.github/workflows/actions.lock
+++ b/.github/workflows/actions.lock
@@ -5,10 +5,10 @@ version: 'v0.0.3'
 workflows:
     '.github/workflows/ci.yml':
         - 'actions/checkout@v7.0.1'
-        - 'leanprover/lean-action@v1.7.0'
+        - 'leanprover/lean-action@v1.7.1'
     '.github/workflows/codeql.yml':
         - 'actions/checkout@v7.0.1'
-        - 'github/codeql-action@v4.39.1'
+        - 'github/codeql-action@v4.39.3'
     '.github/workflows/label-triage.yml': []
     '.github/workflows/labels.yml': []
     '.github/workflows/pages.yml':
@@ -45,14 +45,14 @@ dependencies:
         repo_id: 496012378
         uses:
             - 'actions/upload-artifact@bbbca2ddaa5d8feaa63e36b76fdaad77386f024f'
-    'github/codeql-action@v4.39.1':
-        ref: 'v4.39.1'
-        commit: 'sha1-9b3254085494b55a0f7c4c2b3d2d52cc712ce370'
+    'github/codeql-action@v4.39.3':
+        ref: 'v4.39.3'
+        commit: 'sha1-33d7b85da1a04171e211befe2c739303b9a4c066'
         owner_id: 9919
         repo_id: 259445878
-    'leanprover/lean-action@v1.7.0':
-        ref: 'v1.7.0'
-        commit: 'sha1-fe408643ea7367d8c0404a8be3975bb145f5fb64'
+    'leanprover/lean-action@v1.7.1':
+        ref: 'v1.7.1'
+        commit: 'sha1-ba3fdfe5c4476c925da13bf11a005ddb47e47aee'
         owner_id: 7233018
         repo_id: 795738301
         uses:
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f433b08..b85d293 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.7.0
+      - uses: leanprover/lean-action@v1.7.1
       - name: No sorries
         run: "! grep -rn 'sorry' Marches/ Marches.lean"
diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 5dfdd0c..813472e 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -35,13 +35,13 @@ jobs:
         uses: actions/checkout@v7.0.1
 
       - name: Initialize CodeQL
-        uses: github/codeql-action/init@v4.39.1
+        uses: github/codeql-action/init@v4.39.3
         with:
           languages: ${{ matrix.language }}
           build-mode: ${{ matrix.build-mode }}
 
       - name: Autobuild
-        uses: github/codeql-action/autobuild@v4.39.1
+        uses: github/codeql-action/autobuild@v4.39.3
 
       - name: Perform CodeQL Analysis
-        uses: github/codeql-action/analyze@v4.39.1
+        uses: github/codeql-action/analyze@v4.39.3