diff --git a/.github/workflows/actions.lock b/.github/workflows/actions.lock
index 3cfb57c..30d2b09 100644
--- a/.github/workflows/actions.lock
+++ b/.github/workflows/actions.lock
@@ -21,8 +21,8 @@ workflows:
     '.github/workflows/governance.yml': []
     '.github/workflows/hypatia-scan.yml': []
     '.github/workflows/instant-sync.yml':
-        - 'step-security/harden-runner@46b06cea07f9e64621fdf066ba77ac6915163d43'
         - 'peter-evans/repository-dispatch@v4.0.1'
+        - 'step-security/harden-runner@46b06cea07f9e64621fdf066ba77ac6915163d43'
     '.github/workflows/label-triage.yml': []
     '.github/workflows/labels.yml': []
     '.github/workflows/main-estate-audit.yml':
@@ -36,7 +36,7 @@ workflows:
         - 'actions/upload-artifact@v7.0.2'
     '.github/workflows/proofs.yml':
         - 'actions/checkout@v7.0.1'
-        - 'leanprover/lean-action@v1.6.2'
+        - 'leanprover/lean-action@v1.7.0'
     '.github/workflows/push-email-notify.yml':
         - 'dawidd6/action-send-mail@v23'
     '.github/workflows/quality.yml':
@@ -96,11 +96,6 @@ dependencies:
         commit: 'sha1-51f63319f592f97930c73d9c46184d20bd206393'
         owner_id: 26415196
         repo_id: 297874902
-    'erlef/setup-beam@v1.24.1':
-        ref: 'v1.24.1'
-        commit: 'sha1-54075bcc5e249e4758d363f27d099f55d843f124'
-        owner_id: 47606891
-        repo_id: 331103973
     'github/codeql-action@v4.39.1':
         ref: 'v4.39.1'
         commit: 'sha1-9b3254085494b55a0f7c4c2b3d2d52cc712ce370'
@@ -136,9 +131,9 @@ dependencies:
         commit: 'sha1-2155aa26a21758f2ba119f61bc7e0e1981c106fb'
         owner_id: 6759885
         repo_id: 1275650185
-    '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/fork-governance.yml b/.github/workflows/fork-governance.yml
index c408693..c9e90a5 100644
--- a/.github/workflows/fork-governance.yml
+++ b/.github/workflows/fork-governance.yml
@@ -78,7 +78,7 @@ jobs:
   # repository, so the reusable is allowed by the Actions policy.
   fleet:
     name: Fleet report-backs
-    uses: hyperpolymath/gitbot-fleet/.github/workflows/fleet-report-back-reusable.yml@e44af8144789594fcce891ccc7b77fc9a464a520
+    uses: hyperpolymath/gitbot-fleet/.github/workflows/fleet-report-back-reusable.yml@64ebfbed21942e7d2a68d46273e54cfc1a3a0580
     permissions:
       contents: read
 
diff --git a/.github/workflows/proofs.yml b/.github/workflows/proofs.yml
index e934770..8ed8002 100644
--- a/.github/workflows/proofs.yml
+++ b/.github/workflows/proofs.yml
@@ -223,7 +223,7 @@ jobs:
         with:
           persist-credentials: false
       - name: Build ${{ matrix.pkg }} and check the environment
-        uses: leanprover/lean-action@v1.6.2
+        uses: leanprover/lean-action@v1.7.0
         env:
           # leanchecker loads a full Mathlib-importing environment per module;
           # uncapped parallelism OOMs the runner ("hosted runner lost