diff --git a/.github/workflows/proof-bot.yml b/.github/workflows/proof-bot.yml
index 1c05ddb..b4bc597 100644
--- a/.github/workflows/proof-bot.yml
+++ b/.github/workflows/proof-bot.yml
@@ -23,7 +23,7 @@ jobs:
           echo "DSP assistance will be provided for formal verification tasks"
 
       - name: Comment on PR
-        uses: actions/github-script@v7
+        uses: actions/github-script@v9
         with:
           script: |
             github.rest.issues.createComment({