chore: remove pr labeler requirement (#10081)

This commit is contained in:
Alex 2024-06-10 11:59:19 -05:00 committed by GitHub
parent 2f2aecfb47
commit 4698c39855
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1,17 +0,0 @@
name: Enforce PR labels
on:
pull_request:
types: [labeled, unlabeled, opened, edited, synchronize]
workflow_run:
workflows: ["Pull Request Labeler"]
types:
- completed
jobs:
enforce-label:
name: Enforce label
runs-on: ubuntu-latest
steps:
- if: toJson(github.event.pull_request.labels) == '[]'
run: exit 1