diff --git a/.github/workflows/cleanup.yml b/.github/workflows/cleanup.yml
index 9145db5..7ca188a 100644
--- a/.github/workflows/cleanup.yml
+++ b/.github/workflows/cleanup.yml
@@ -30,7 +30,7 @@ jobs:
 
     steps:
       - name: Delete old workflow runs
-        uses: actions/github-script@f28e40c7f34bde8b3046d885e986cb6290c5673b # v7
+        uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
         env:
           KEEP_MINIMUM_RUNS: ${{ github.event.inputs.keep_minimum_runs || '5' }}
           RETAIN_DAYS: ${{ github.event.inputs.retain_days || '30' }}
diff --git a/.github/workflows/formal-verification.yml b/.github/workflows/formal-verification.yml
index 2b423c9..b6211aa 100644
--- a/.github/workflows/formal-verification.yml
+++ b/.github/workflows/formal-verification.yml
@@ -291,7 +291,7 @@ jobs:
 
       - name: Comment on PR (if failed)
         if: failure() && github.event_name == 'pull_request' && matrix.shard_id == 1
-        uses: actions/github-script@f28e40c7f34bde8b3046d885e986cb6290c5673b # v7
+        uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
         with:
           script: |
             const fs = require('fs');