Skip to content

Exnihilo

Exnihilo #2075

Workflow file for this run

# Manages labels on PRs before allowing merging
name: PR labels
on:
pull_request:
types: [opened, labeled, unlabeled, synchronize]
# if a second commit is pushed quickly after the first, cancel the first one's build
concurrency:
group: pr-labels-${{github.head_ref}}
cancel-in-progress: true
jobs:
Labels:
runs-on: ubuntu-latest
permissions:
pull-requests: read # needed to utilize required-labels
steps:
- name: Merge-Blocking Labels # blocks merge if present
uses: mheap/github-action-required-labels@v3
with:
mode: exactly
count: 0
labels: "status: do not merge"
exit_type: failure
- name: Required Changelog Labels # require at least one of these labels
uses: mheap/github-action-required-labels@v3
with:
mode: minimum
count: 1
labels: "type: feature, type: bug, type: refactor, type: translation, ignore changelog"
exit_type: failure