chore: Add write permission to milestone checker (#3155)

pull/3161/head
Michael Li 3 years ago committed by GitHub
parent f816611dd0
commit 8c5464802d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -13,12 +13,13 @@ on:
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'
if: contains(github.event.pull_request.labels.*.name, 'pr/no-milestone') != true
runs-on: ${{ fromJSON(vars.RUNNER) }}
steps:
- name: Checkout Actions

Loading…
Cancel
Save