Check Changelog improvements (#1128)

The Check Changelog GitHub action now:
* is skipped for dependabot PRs
* uses a more descriptive job name than `check`

Closes @W-8052460@.
Closes @W-8098931@.

[skip changelog]
This commit is contained in:
Ed Morley
2020-11-30 13:13:14 +00:00
committed by GitHub
parent 74f2d09a5e
commit 4d17846600
+3 -2
View File
@@ -5,12 +5,13 @@ on:
types: [opened, reopened, edited, synchronize]
jobs:
check:
check-changelog:
runs-on: ubuntu-latest
if: |
!contains(github.event.pull_request.body, '[skip changelog]') &&
!contains(github.event.pull_request.body, '[changelog skip]') &&
!contains(github.event.pull_request.body, '[skip ci]')
!contains(github.event.pull_request.body, '[skip ci]') &&
!contains(github.event.pull_request.labels.*.name, 'c: dependencies')
steps:
- uses: actions/checkout@v1
- name: Check that CHANGELOG is touched