diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock
index df50132..6927293 100644
--- a/.github/workflows/actions.lock
+++ b/.github/workflows/actions.lock
@@ -58,7 +58,7 @@ workflows:
         - 'actions/checkout@v7.0.1'
     '.github/workflows/sonarqube.yml':
         - 'actions/checkout@v7.0.1'
-        - 'sonarsource/sonarqube-scan-action@v8.2.2'
+        - 'sonarsource/sonarqube-scan-action@v8.4.0'
     '.github/workflows/static-analysis-gate.yml':
         - 'actions/checkout@v7.0.1'
         - 'actions/download-artifact@v8.0.1'
@@ -67,7 +67,7 @@ workflows:
     '.github/workflows/test-suite.yml':
         - 'actions/checkout@v7.0.1'
         - 'goto-bus-stop/setup-zig@v2.2.1'
-        - 'leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6'
+        - 'leanprover/lean-action@fe408643ea7367d8c0404a8be3975bb145f5fb64'
     '.github/workflows/wellknown-enforcement.yml':
         - 'actions/checkout@v7.0.1'
     '.github/workflows/workflow-linter.yml':
@@ -165,9 +165,9 @@ dependencies:
         commit: 'sha1-6037f33647c3f17758a2356c80fc4a53d7e0685d'
         owner_id: 75048950
         repo_id: 623796603
-    'leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6':
-        ref: 'v1.6.2'
-        commit: 'sha1-24581d74d674803a25a81b10b059c5c0cdd344c6'
+    'leanprover/lean-action@fe408643ea7367d8c0404a8be3975bb145f5fb64':
+        ref: 'v1.7.0'
+        commit: 'sha1-fe408643ea7367d8c0404a8be3975bb145f5fb64'
         owner_id: 7233018
         repo_id: 795738301
         uses:
@@ -177,9 +177,9 @@ dependencies:
         commit: 'sha1-efb35369e0ad2afab669f228072c1b0d510eae64'
         owner_id: 2242
         repo_id: 204253808
-    'sonarsource/sonarqube-scan-action@v8.2.2':
-        ref: 'v8.2.2'
-        commit: 'sha1-ba9859eae8dd6bd29e412f25ddbbef3d032000f4'
+    'sonarsource/sonarqube-scan-action@v8.4.0':
+        ref: 'v8.4.0'
+        commit: 'sha1-4d1dc0c91ee400dcf8a6dddf2f705ac36542e304'
         owner_id: 545988
         repo_id: 366408409
     'trufflesecurity/trufflehog@v3.99.7':
diff --git a/.github/workflows/sonarqube.yml b/.github/workflows/sonarqube.yml
index 7a7c2dc..8ceb33b 100644
--- a/.github/workflows/sonarqube.yml
+++ b/.github/workflows/sonarqube.yml
@@ -31,6 +31,6 @@ jobs:
         with:
           fetch-depth: 0   # full history for accurate new-code detection
       - name: SonarQube Scan
-        uses: SonarSource/sonarqube-scan-action@v8.3.0
+        uses: SonarSource/sonarqube-scan-action@v8.4.0
         env:
           SONAR_TOKEN: ${{ secrets.SONAR_TOKEN }}
diff --git a/.github/workflows/test-suite.yml b/.github/workflows/test-suite.yml
index 23c5151..86d6e14 100644
--- a/.github/workflows/test-suite.yml
+++ b/.github/workflows/test-suite.yml
@@ -140,7 +140,7 @@ jobs:
         uses: actions/checkout@v7.0.1
 
       - name: Install elan (Lean version manager)
-        uses: leanprover/lean-action@24581d74d674803a25a81b10b059c5c0cdd344c6 # v1.6.2
+        uses: leanprover/lean-action@fe408643ea7367d8c0404a8be3975bb145f5fb64 # v1.7.0
         with:
           auto-config: false
           build: false