Skip to content

Commit

Permalink
[core] Ensure PRs are merged with a label
Browse files Browse the repository at this point in the history
  • Loading branch information
oliviertassinari committed Sep 2, 2023
1 parent 51a002b commit 36de178
Showing 1 changed file with 20 additions and 0 deletions.
20 changes: 20 additions & 0 deletions .github/workflows/check-if-pr-has-label.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
name: Check if PR has label

on:
pull_request:
types: [opened, reopened, labeled, unlabeled]

permissions: {}

jobs:
test-label-applied:
# Tests that label is added on the PR
runs-on: ubuntu-latest
permissions:
contents: read
steps:
- uses: mnajdova/github-action-required-labels@ca0df9249827e43aa4b4a0d25d9fe3e9b19b0705 # v2.1.0
with:
mode: minimum
count: 1
labels: ''

0 comments on commit 36de178

Please sign in to comment.