diff --git a/.github/workflows/wolfram-verification.yml b/.github/workflows/wolfram-verification.yml index aa777cd6..13fb55d3 100644 --- a/.github/workflows/wolfram-verification.yml +++ b/.github/workflows/wolfram-verification.yml @@ -116,7 +116,7 @@ jobs: - name: Comment on PR if violations found if: failure() && github.event_name == 'pull_request' - uses: actions/github-script@v7 + uses: actions/github-script@v9 with: script: | github.rest.issues.createComment({