GitHub CI: use paths rather than paths-ignore, use branch to exclude rc/.

This commit is contained in:
John MacFarlane 2019-09-25 09:22:26 -07:00
parent 8028de3322
commit 22821ba2da

View file

@ -2,35 +2,40 @@ name: CI tests
on:
push:
paths-ignore:
- 'doc/**'
- 'MANUAL.txt'
- '*.md'
- 'RELEASE_CHECKLIST'
- 'BUGS'
- 'changelog'
- 'README.template'
- 'appveyor.yml'
- 'tools/**'
- 'linux/**'
- 'macos/**'
- 'windows/**'
- 'man/**'
branches:
- '*'
- '!rc/*'
paths:
- '*'
- '!doc/**'
- '!MANUAL.txt'
- '!*.md'
- '!RELEASE_CHECKLIST'
- '!BUGS'
- '!changelog'
- '!README.template'
- '!appveyor.yml'
- '!tools/**'
- '!linux/**'
- '!macos/**'
- '!windows/**'
- '!man/**'
pull_request:
paths_ignore:
- 'doc/**'
- 'MANUAL.txt'
- '*.md'
- 'RELEASE_CHECKLIST'
- 'BUGS'
- 'changelog'
- 'README.template'
- 'appveyor.yml'
- 'tools/**'
- 'linux/**'
- 'macos/**'
- 'windows/**'
- 'man/**'
paths:
- '*'
- '!doc/**'
- '!MANUAL.txt'
- '!*.md'
- '!RELEASE_CHECKLIST'
- '!BUGS'
- '!changelog'
- '!README.template'
- '!appveyor.yml'
- '!tools/**'
- '!linux/**'
- '!macos/**'
- '!windows/**'
- '!man/**'
jobs:
linux: