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