From 26d80d8cad8591f36c8f2fae1fb2ac8a1806fcc0 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Tue, 2 Jun 2026 04:43:26 +0000 Subject: [PATCH] chore: CI: bump actions/github-script from 8 to 9 Bumps [actions/github-script](https://github.com/actions/github-script) from 8 to 9. - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/v8...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] --- .github/workflows/awaiting-manual.yml | 2 +- .github/workflows/awaiting-mathlib.yml | 2 +- .github/workflows/check-stage0.yml | 2 +- .github/workflows/check-stdlib-flags.yml | 2 +- .github/workflows/ci.yml | 4 ++-- .github/workflows/grove.yml | 2 +- .github/workflows/labels-from-comments.yml | 2 +- .github/workflows/pr-body.yml | 2 +- .github/workflows/pr-release.yml | 10 +++++----- .github/workflows/pr-title.yml | 2 +- 10 files changed, 15 insertions(+), 15 deletions(-) diff --git a/.github/workflows/awaiting-manual.yml b/.github/workflows/awaiting-manual.yml index 3fb915a1..07544ab4 100644 --- a/.github/workflows/awaiting-manual.yml +++ b/.github/workflows/awaiting-manual.yml @@ -12,7 +12,7 @@ jobs: - name: Check awaiting-manual label id: check-awaiting-manual-label if: github.event_name == 'pull_request' - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | const { labels, number: prNumber } = context.payload.pull_request; diff --git a/.github/workflows/awaiting-mathlib.yml b/.github/workflows/awaiting-mathlib.yml index 1393d20a..052d4876 100644 --- a/.github/workflows/awaiting-mathlib.yml +++ b/.github/workflows/awaiting-mathlib.yml @@ -12,7 +12,7 @@ jobs: - name: Check awaiting-mathlib label id: check-awaiting-mathlib-label if: github.event_name == 'pull_request' - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | const { labels, number: prNumber } = context.payload.pull_request; diff --git a/.github/workflows/check-stage0.yml b/.github/workflows/check-stage0.yml index 14651c08..579cc90f 100644 --- a/.github/workflows/check-stage0.yml +++ b/.github/workflows/check-stage0.yml @@ -31,7 +31,7 @@ jobs: - if: github.event_name == 'pull_request' name: Set label - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | const { owner, repo, number: issue_number } = context.issue; diff --git a/.github/workflows/check-stdlib-flags.yml b/.github/workflows/check-stdlib-flags.yml index 20059935..3cd30052 100644 --- a/.github/workflows/check-stdlib-flags.yml +++ b/.github/workflows/check-stdlib-flags.yml @@ -9,7 +9,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check if stdlib_flags.h was modified - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | // Get the list of files changed in this PR diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dbf33fd7..7168ece7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -188,7 +188,7 @@ jobs: - name: Configure build matrix id: set-matrix - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | const level = ${{ steps.set-level.outputs.check-level }}; @@ -420,7 +420,7 @@ jobs: content: | A build of `${{ github.ref_name }}`, triggered by event `${{ github.event_name }}`, [failed](https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}). - if: contains(needs.*.result, 'failure') - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | core.setFailed('Some jobs failed') diff --git a/.github/workflows/grove.yml b/.github/workflows/grove.yml index 916c6c42..23cdcb44 100644 --- a/.github/workflows/grove.yml +++ b/.github/workflows/grove.yml @@ -111,7 +111,7 @@ jobs: # material. - id: deploy-alias if: ${{ steps.should-run.outputs.should-run == 'true' }} - uses: actions/github-script@v8 + uses: actions/github-script@v9 name: Compute Alias with: result-encoding: string diff --git a/.github/workflows/labels-from-comments.yml b/.github/workflows/labels-from-comments.yml index 6663e3d8..887e2e46 100644 --- a/.github/workflows/labels-from-comments.yml +++ b/.github/workflows/labels-from-comments.yml @@ -17,7 +17,7 @@ jobs: steps: - name: Add label based on comment - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: github-token: ${{ secrets.GITHUB_TOKEN }} script: | diff --git a/.github/workflows/pr-body.yml b/.github/workflows/pr-body.yml index 827041f8..93784b73 100644 --- a/.github/workflows/pr-body.yml +++ b/.github/workflows/pr-body.yml @@ -11,7 +11,7 @@ jobs: steps: - name: Check PR body if: github.event_name == 'pull_request' - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | const { title, body, labels, draft } = context.payload.pull_request; diff --git a/.github/workflows/pr-release.yml b/.github/workflows/pr-release.yml index a2eb7343..e63c8106 100644 --- a/.github/workflows/pr-release.yml +++ b/.github/workflows/pr-release.yml @@ -101,7 +101,7 @@ jobs: - name: Report release status (short format) if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }} - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | await github.rest.repos.createCommitStatus({ @@ -115,7 +115,7 @@ jobs: - name: Report release status (SHA-suffixed format) if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }} - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | await github.rest.repos.createCommitStatus({ @@ -129,7 +129,7 @@ jobs: - name: Add toolchain-available label if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }} - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | await github.rest.issues.addLabels({ @@ -360,7 +360,7 @@ jobs: - name: Report mathlib base if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' && steps.ready.outputs.mathlib_ready == 'true' }} - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | const description = @@ -509,7 +509,7 @@ jobs: - name: Add mathlib4-nightly-available label if: steps.workflow-info.outputs.pullRequestNumber != '' && steps.ready.outputs.mathlib_ready == 'true' - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | await github.rest.issues.addLabels({ diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml index b540a5c6..870483f8 100644 --- a/.github/workflows/pr-title.yml +++ b/.github/workflows/pr-title.yml @@ -10,7 +10,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Check PR title - uses: actions/github-script@v8 + uses: actions/github-script@v9 with: script: | const msg = context.payload.pull_request? context.payload.pull_request.title : context.payload.merge_group.head_commit.message;