Michael Li
6eded679bc
* chore: Update to use Node20 version of Actions * CR: Add additional triggers to milestone checker * CR: Remove use of third-party action
28 lines
851 B
YAML
28 lines
851 B
YAML
# 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 }}
|