blob: 0cfaab4bedf64c55fec5786d90a7c5cedf2aa2ef [file] [log] [blame]
# 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 }}