Skip to content

Generic IO for server #2855

Generic IO for server

Generic IO for server #2855

Workflow file for this run

name: Enforce PR Labels
on:
pull_request:
types: [opened, labeled, unlabeled, edited, synchronize]
jobs:
require-label:
runs-on: ubuntu-latest
steps:
- uses: mheap/github-action-required-labels@v5
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
mode: minimum
count: 1
labels: "0 diff,0 diff trivial,:astonished: Non 0 Diff,:wrench: Github Actions"
add_comment: true
message: "This PR is being prevented from merging because you have not added one of our required labels: {{ provided }}. Please add one so that the PR can be merged."
blocking-label:
runs-on: ubuntu-latest
steps:
- uses: mheap/github-action-required-labels@v5
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
with:
mode: exactly
count: 0
labels: ":no_entry_sign: Contingent - DNA"
add_comment: true
message: "This PR is being prevented from merging because you have added one of our blocking labels: {{ provided }}. You'll need to remove it before this PR can be merged."