system/systemd
system/systemd
1
0
Fork 0
mirror of https://github.com/systemd/systemd synced 2024-07-22 02:34:54 +00:00
Code Issues Actions 5 Packages Projects Releases Wiki Activity

ci: Add names to steps in labeler workflow

Browse source 
This makes it easier to see what step failed/was skipped in the GitHub
Actions UI. It also makes future debugging easier.
This commit is contained in:
Jan Macku 2023-02-08 13:02:49 +01:00 committed by Yu Watanabe
parent 11c0f0659e
commit 9779079b53
1 changed files with 9 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
.github/workflows/labeler.yml vendored
View file

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