From cc89e63aa535fddce1be7a166a5a29b72aa94a15 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 2 Nov 2026 10:50:05 +0000
Subject: [PATCH] chore(deps): bump the actions group with 2 updates

Bumps the actions group with 2 updates: [SonarSource/sonarqube-scan-action](https://github.com/sonarsource/sonarqube-scan-action) and [leanprover/lean-action](https://github.com/leanprover/lean-action).


Updates `SonarSource/sonarqube-scan-action` from 8.3.0 to 8.4.0
- [Release notes](https://github.com/sonarsource/sonarqube-scan-action/releases)
- [Commits](https://github.com/sonarsource/sonarqube-scan-action/compare/v8.3.0...v8.4.0)

Updates `leanprover/lean-action` from 1.6.2 to 1.7.0
- [Release notes](https://github.com/leanprover/lean-action/releases)
- [Changelog](https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md)
- [Commits](https://github.com/leanprover/lean-action/compare/24581d74d674803a25a81b10b059c5c0cdd344c6...fe408643ea7367d8c0404a8be3975bb145f5fb64)

---
updated-dependencies:
- dependency-name: SonarSource/sonarqube-scan-action
  dependency-version: 8.4.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions
- dependency-name: leanprover/lean-action
  dependency-version: 1.7.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 .github/workflows/actions.lock   | 16 ++++++++--------
 .github/workflows/sonarqube.yml  |  2 +-
 .github/workflows/test-suite.yml |  2 +-
 3 files changed, 10 insertions(+), 10 deletions(-)

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