From 69e1511710d07c08e4da4bcfcc7d73fa9ea937de Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 17 Jun 2026 15:32:20 -0300
Subject: [PATCH] chore(deps): bump actions/github-script from 7 to 9 (#4046)

Integrated into release/v3.8.28 (dependabot GH-Action bump; SHA-pin preserved)
---
 .github/workflows/nightly-property.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/nightly-property.yml b/.github/workflows/nightly-property.yml
index afc2b614c2..70492fb6d2 100644
--- a/.github/workflows/nightly-property.yml
+++ b/.github/workflows/nightly-property.yml
@@ -23,7 +23,7 @@ jobs:
         run: FC_SEED=random FC_NUM_RUNS=2000 npm run test:property
       - name: Open issue on failure
         if: failure()
-        uses: actions/github-script@v7
+        uses: actions/github-script@v9
         with:
           script: |
             await github.rest.issues.create({