From 10c407ec443335ce7e1518d55ed1300e60471ffa Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Wed, 1 Oct 2025 20:13:22 +0000 Subject: [PATCH] chore: CI: bump actions/github-script from 7 to 8 Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 8. - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/v7...v8) --- updated-dependencies: - dependency-name: actions/github-script dependency-version: '8' 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/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 | 8 ++++---- .github/workflows/pr-title.yml | 2 +- 9 files changed, 13 insertions(+), 13 deletions(-) diff --git a/.github/workflows/awaiting-manual.yml b/.github/workflows/awaiting-manual.yml index 31a1c91b6d00..3fb915a1befb 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@v7 + uses: actions/github-script@v8 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 27a0a8e295de..1393d20a9a35 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@v7 + uses: actions/github-script@v8 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 73f8f9bb3453..cb8c8e1789aa 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@v7 + uses: actions/github-script@v8 with: script: | const { owner, repo, number: issue_number } = context.issue; diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 90c9e05e8fa6..fa97122af766 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -137,7 +137,7 @@ jobs: - name: Configure build matrix id: set-matrix - uses: actions/github-script@v7 + uses: actions/github-script@v8 with: script: | const level = ${{ steps.set-level.outputs.check-level }}; @@ -350,7 +350,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@v7 + uses: actions/github-script@v8 with: script: | core.setFailed('Some jobs failed') diff --git a/.github/workflows/grove.yml b/.github/workflows/grove.yml index dd56b03b1687..54aca89eae76 100644 --- a/.github/workflows/grove.yml +++ b/.github/workflows/grove.yml @@ -110,7 +110,7 @@ jobs: # material. - id: deploy-alias if: ${{ steps.should-run.outputs.should-run == 'true' }} - uses: actions/github-script@v7 + uses: actions/github-script@v8 name: Compute Alias with: result-encoding: string diff --git a/.github/workflows/labels-from-comments.yml b/.github/workflows/labels-from-comments.yml index f6a43dc992a8..6663e3d8ab0f 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@v7 + uses: actions/github-script@v8 with: github-token: ${{ secrets.GITHUB_TOKEN }} script: | diff --git a/.github/workflows/pr-body.yml b/.github/workflows/pr-body.yml index 3d174aa343e4..827041f8132f 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@v7 + uses: actions/github-script@v8 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 1ca3ef970672..9bb313150330 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@v7 + uses: actions/github-script@v8 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@v7 + uses: actions/github-script@v8 with: script: | await github.rest.repos.createCommitStatus({ @@ -129,7 +129,7 @@ jobs: - name: Add label if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' }} - uses: actions/github-script@v7 + uses: actions/github-script@v8 with: script: | await github.rest.issues.addLabels({ @@ -368,7 +368,7 @@ jobs: - name: Report mathlib base if: ${{ steps.workflow-info.outputs.pullRequestNumber != '' && steps.ready.outputs.mathlib_ready == 'true' }} - uses: actions/github-script@v7 + uses: actions/github-script@v8 with: script: | const description = diff --git a/.github/workflows/pr-title.yml b/.github/workflows/pr-title.yml index 86d8aa2708dd..8838bfd38f97 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@v7 + uses: actions/github-script@v8 with: script: | const msg = context.payload.pull_request? context.payload.pull_request.title : context.payload.merge_group.head_commit.message;