From 79483146e67dd26dbd7f3aa06a644945c2d1ddac Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 28 Sep 2026 02:15:20 +0000 Subject: [PATCH 1/2] chore(deps): bump actions/github-script from 7.1.0 to 9.0.0 Bumps [actions/github-script](https://github.com/actions/github-script) from 7.1.0 to 9.0.0. - [Release notes](https://github.com/actions/github-script/releases) - [Commits](https://github.com/actions/github-script/compare/f28e40c7f34bde8b3046d885e986cb6290c5673b...3a2844b7e9c422d3c10d287c895573f7108da1b3) --- updated-dependencies: - dependency-name: actions/github-script dependency-version: 9.0.0 dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/frontend-testing-pilot.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/frontend-testing-pilot.yml b/.github/workflows/frontend-testing-pilot.yml index c2f69377..9657294c 100644 --- a/.github/workflows/frontend-testing-pilot.yml +++ b/.github/workflows/frontend-testing-pilot.yml @@ -128,7 +128,7 @@ jobs: # it. This is a real defect, not a score. - name: Open an issue on a counterexample if: failure() - uses: actions/github-script@f28e40c7f34bde8b3046d885e986cb6290c5673b # v7.1.0 + uses: actions/github-script@3a2844b7e9c422d3c10d287c895573f7108da1b3 # v9.0.0 with: script: | await github.rest.issues.create({ From 0d8632cb125bf64e60010c76db37b323a66d1159 Mon Sep 17 00:00:00 2001 From: Xore Date: Mon, 28 Sep 2026 14:19:23 +0200 Subject: [PATCH 2/2] ci: retrigger cancelled runs