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.
This commit is contained in:
Wolfgang Walther
2025-10-12 13:16:10 +02:00
parent d78de15627
commit f1640b71d8
2 changed files with 3 additions and 7 deletions

View File

@@ -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

View File

@@ -1,4 +1,4 @@
name: Review dismissed
name: Reviewed
on:
pull_request_review: