| # This workflow checks that there is either a 'pr/no-milestone' label applied to a PR |
| # or there is a milestone associated with a PR |
| |
| name: Check Milestone |
| |
| on: |
| pull_request: |
| # milestoned and demilestoned work (https://github.com/github/docs/issues/23909) but they aren't listed in the github documentation |
| types: [opened, synchronize, labeled, unlabeled, milestoned, demilestoned] |
| # Runs on PRs to main and release branches |
| branches: |
| - main |
| - release/** |
| |
| jobs: |
| # checks that a milestone entry is present for a PR |
| milestone-check: |
| # If there is a `pr/no-milestone` label we ignore this check |
| if: "!contains(github.event.pull_request.labels.*.name, 'pr/no-milestone')" |
| runs-on: ubuntu-latest |
| steps: |
| - name: Check milestone |
| run: ${{ github.event.pull_request.milestone != null }} |
