diff options
author | Jan Macku <jamacku@redhat.com> | 2023-02-08 13:02:49 +0100 |
---|---|---|
committer | Yu Watanabe <watanabe.yu+github@gmail.com> | 2023-02-08 22:37:10 +0900 |
commit | 9779079b5354ac66809a1b6e593ef2a2a3f75117 (patch) | |
tree | 4cb82254899d39a158c4e915c3c405e1b0d3b664 | |
parent | 11c0f0659ecd82572c2dc83f3b34493a36dcd954 (diff) | |
download | systemd-9779079b5354ac66809a1b6e593ef2a2a3f75117.tar.gz |
ci: Add names to steps in labeler workflow
This makes it easier to see what step failed/was skipped in the GitHub
Actions UI. It also makes future debugging easier.
-rw-r--r-- | .github/workflows/labeler.yml | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml index c282df8d73..6adba75aa4 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -19,15 +19,18 @@ jobs: runs-on: ubuntu-latest permissions: pull-requests: write + steps: - - uses: actions/labeler@e54e5b338fbd6e6cdb5d60f51c22335fc57c401e + - name: Label PR based on policy in labeler.yml + uses: actions/labeler@e54e5b338fbd6e6cdb5d60f51c22335fc57c401e if: github.event_name == 'pull_request_target' && github.event.action != 'closed' with: repo-token: "${{ secrets.GITHUB_TOKEN }}" configuration-path: .github/labeler.yml sync-labels: "" # This is a workaround for issue 18671 - - uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975 + - name: Set or remove labels based on systemd development workflow + uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975 if: github.event_name == 'pull_request_target' && github.event.action != 'closed' && !github.event.pull_request.draft with: script: | @@ -71,7 +74,8 @@ jobs: } } - - uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975 + - name: Add please-review label on command in issue comment + uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975 if: github.event_name == 'issue_comment' && github.event.issue.pull_request && startsWith(github.event.comment.body, '/please-review') with: script: | @@ -82,7 +86,8 @@ jobs: labels: ["please-review"] }) - - uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975 + - name: Remove specific labels when PR is closed or merged + uses: actions/github-script@98814c53be79b1d30f795b907e553d8679345975 if: github.event_name == 'pull_request_target' && github.event.action == 'closed' with: script: | |