diff --git a/.github/workflows/frontend-testing-pilot.yml b/.github/workflows/frontend-testing-pilot.yml
index c2f69377..9657294c 100644
--- a/.github/workflows/frontend-testing-pilot.yml
+++ b/.github/workflows/frontend-testing-pilot.yml
@@ -128,7 +128,7 @@ jobs:
       # it. This is a real defect, not a score.
       - name: Open an issue on a counterexample
         if: failure()
-        uses: actions/github-script@f28e40c7f34bde8b3046d885e986cb6290c5673b # v7.1.0
+        uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0
         with:
           script: |
             await github.rest.issues.create({