From 4b847e522372a09734bcdc9dcffeacd4dacfb61d Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Sun, 12 Oct 2025 13:16:10 +0200 Subject: [PATCH] workflows/{review,reviewed}: rename from dismissed-review and review-dismissed This is just a separate commit for a better diff. This workflow will be extended with the `submitted` type in the next commit, so needs a different naming. While at it, also remove the useless concurrency group: This workflow is never run in a PR context, so will never be cancelled. (cherry picked from commit f1640b71d81c06ce30378758c0ff5bb977105756) --- .github/workflows/{dismissed-review.yml => review.yml} | 8 ++------ .github/workflows/{review-dismissed.yml => reviewed.yml} | 2 +- 2 files changed, 3 insertions(+), 7 deletions(-) rename .github/workflows/{dismissed-review.yml => review.yml} (91%) rename .github/workflows/{review-dismissed.yml => reviewed.yml} (91%) diff --git a/.github/workflows/dismissed-review.yml b/.github/workflows/review.yml similarity index 91% rename from .github/workflows/dismissed-review.yml rename to .github/workflows/review.yml index db5799c80913..6679f6852766 100644 --- a/.github/workflows/dismissed-review.yml +++ b/.github/workflows/review.yml @@ -1,15 +1,11 @@ -name: Dismissed review +name: Review on: workflow_run: workflows: - - Review dismissed + - Reviewed types: [completed] -concurrency: - group: dismissed-review-${{ github.workflow }}-${{ github.event_name }}-${{ github.event.pull_request.number || github.run_id }} - cancel-in-progress: true - permissions: pull-requests: write diff --git a/.github/workflows/review-dismissed.yml b/.github/workflows/reviewed.yml similarity index 91% rename from .github/workflows/review-dismissed.yml rename to .github/workflows/reviewed.yml index 988b4a47df14..ab959d8c2117 100644 --- a/.github/workflows/review-dismissed.yml +++ b/.github/workflows/reviewed.yml @@ -1,4 +1,4 @@ -name: Review dismissed +name: Reviewed on: pull_request_review: