louis_lifu
/
vllm
mirror of https://github.com/vllm-project/vllm
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Revert "Add label if pre-commit passes" (#13242)

This commit is contained in:
Harry Mellor 2025-02-14 00:12:32 +00:00 committed by GitHub
parent c1e37bf71b
commit e38be640e6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 0 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,38 +0,0 @@
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 }}