Add separate minimum & default tick rates for covers #3320
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Credit to TechLord22 for writting this for the GTCEu repo | |
# Manages labels on PRs before allowing merging | |
name: Pull Request 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: Check for Merge-Blocking Labels # blocks merge if present | |
uses: mheap/github-action-required-labels@v5 | |
with: | |
mode: exactly | |
count: 0 | |
labels: 'ongoing freeze - do not merge' | |
exit_type: failure | |
- name: Check for Required Labels # require at least one of these labels | |
uses: mheap/github-action-required-labels@v5 | |
with: | |
mode: minimum | |
count: 1 | |
labels: 'Affects Balance, bug fix, chore, enhancement, MuTE, new feature, refactor' | |
exit_type: failure |