# 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 are supported even if IDE is complaining types: [opened, synchronize, labeled, unlabeled, milestoned, demilestoned ] # Runs on PRs to main and release branches branches: - main - release/** permissions: contents: read statuses: write 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') != true runs-on: ${{ fromJSON(vars.RUNNER) }} steps: - name: Check milestone run: ${{ github.event.pull_request.milestone != null }}