chore(deps): bump actions/github-script from 7 to 9 (#4046)

Integrated into release/v3.8.28 (dependabot GH-Action bump; SHA-pin preserved)
This commit is contained in:
dependabot[bot]
2026-06-17 15:32:20 -03:00
committed by GitHub
parent 1387b48db6
commit 69e1511710

View File

@@ -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({