Post 1.3.0 release updates to main #3851
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
| name: require label | |
| on: | |
| pull_request: | |
| types: [opened, labeled, unlabeled, synchronize] | |
| jobs: | |
| label: | |
| runs-on: ubuntu-22.04 | |
| permissions: | |
| pull-requests: read | |
| steps: | |
| - uses: mheap/github-action-required-labels@388fd6af37b34cdfe5a23b37060e763217e58b03 # 5.5.0 | |
| with: | |
| mode: minimum | |
| count: 1 | |
| labels: | | |
| breaking change | |
| bug fix | |
| changelog | |
| dependencies | |
| feature | |
| documentation | |
| no changelog | |
| do-not-merge: | |
| if: ${{ contains(github.event.pull_request.labels.*.name, 'do not merge') }} | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - name: prevent merge | |
| run: | | |
| echo '::error::This PR is labeled as "do not merge", remove the label to make this check pass.' | |
| exit 1 |