2019-09-25 15:53:54 -04:00
|
|
|
|
name: Check Changelog
|
|
|
|
|
|
2020-05-08 15:32:17 -04:00
|
|
|
|
on:
|
|
|
|
|
pull_request:
|
|
|
|
|
types: [opened, reopened, edited, synchronize]
|
2019-09-25 15:53:54 -04:00
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
runs-on: ubuntu-latest
|
2020-04-21 19:18:55 -04:00
|
|
|
|
if: |
|
|
|
|
|
!( contains(github.event.pull_request.title, '[changelog skip]')
|
|
|
|
|
|| contains(github.event.pull_request.title, '[skip changelog]')
|
|
|
|
|
|| contains(github.event.pull_request.title, '[ci skip]')
|
|
|
|
|
|| contains(github.event.pull_request.title, '[skip ci]'))
|
2019-09-25 15:53:54 -04:00
|
|
|
|
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v1
|
2020-04-21 19:18:55 -04:00
|
|
|
|
- name: Check that CHANGELOG is touched
|
2019-09-25 15:53:54 -04:00
|
|
|
|
run: |
|
2020-04-21 19:18:55 -04:00
|
|
|
|
git diff remotes/origin/${{ github.base_ref }} --name-only | grep History.md
|