mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-08-26 02:05:02 +00:00
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 f1640b71d8)
This commit is contained in:
committed by
github-actions[bot]
parent
86cbfd35a8
commit
4b847e5223
@@ -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
|
||||
|
||||
@@ -1,4 +1,4 @@
|
||||
name: Review dismissed
|
||||
name: Reviewed
|
||||
|
||||
on:
|
||||
pull_request_review:
|
||||
Reference in New Issue
Block a user