docs: Update release notes #5801
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
| # 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 }} |