20231088/vllm
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

Add label if pre-commit passes (#12527)

Browse Source 
Signed-off-by: Harry Mellor <19981378+hmellor@users.noreply.github.com>
This commit is contained in:
Harry Mellor 2025-02-13 20:51:30 +00:00 committed by GitHub
parent d84cef76eb
commit bffddd9a05
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
.github/workflows/add_label_precommit.yml vendored Normal file
View File

@ -0,0 +1,38 @@
name: Add label on pre-commit success
on:
workflow_run:
workflows: [pre-commit]
types: [requested, completed]
jobs:
add-label-on-pre-commit-success:
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion == 'success' }}
steps:
- name: Add label
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
with:
script: |
github.rest.issues.addLabels({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number,
labels: ['pre-commit-passed']
})
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
remove-label-on-pre-commit-not-success:
runs-on: ubuntu-latest
if: ${{ github.event.workflow_run.conclusion != 'success' }}
steps:
- name: Remove label
uses: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea # v7.0.1
with:
script: |
github.rest.issues.removeLabels({
owner: context.repo.owner,
repo: context.repo.repo,
issue_number: context.issue.number,
labels: ['pre-commit passed']
})
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}