From 19885bdc4389e1f2b72df93b6b4f72be2cc82fd6 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 18 May 2026 23:55:55 +0000 Subject: [PATCH] Bump actions/github-script from 7 to 9 Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 9. - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/v7...v9) --- updated-dependencies: - dependency-name: actions/github-script dependency-version: '9' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] (cherry picked from commit 34498eb3b5306df13cc63c761a42ecdcdff83c59) --- .github/workflows/wolfram-verification.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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({