Apply Windows label

Signed-off-by: Maksym Pavlenko <pavlenko.maksym@gmail.com>
This commit is contained in:
Maksym Pavlenko 2023-08-10 11:50:48 -07:00
parent c9e4729169
commit d3dac29d53
No known key found for this signature in database
1 changed files with 9 additions and 0 deletions

View File

@ -13,6 +13,11 @@ jobs:
runs-on: ubuntu-latest
timeout-minutes: 5
# Required by gh
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
PR_NUMBER: ${{ github.event.number }}
steps:
- uses: actions/labeler@v4
with:
@ -20,3 +25,7 @@ jobs:
dot: true
# Remove labels when matching files are reverted or no longer changed by the PR
sync-labels: true
# Apply OS-windows label if PR title contains 'Windows'
- run: gh pr edit $PR_NUMBER --add-label OS-windows
if: contains(github.event.pull_request.title, 'Windows')