diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-09-25 09:53:44 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-25 09:53:44 -0700 |
| commit | c40e0c9e62be60801896aa580d02783767e8b0f8 (patch) | |
| tree | e054e8153ee92cdbb0d92e296b4b68d1e0d3b869 /.github | |
| parent | 22821ba2dadb7f6c4a75addcba24c2fb70445301 (diff) | |
| download | pandoc-c40e0c9e62be60801896aa580d02783767e8b0f8.tar.gz | |
GitHub ci - back to using ignore-paths.
paths with ! doesn't seem to do it.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 58 |
1 files changed, 28 insertions, 30 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8c0e817e9..fb0ca3b33 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,37 +5,35 @@ on: branches: - '*' - '!rc/*' - paths: - - '*' - - '!doc/**' - - '!MANUAL.txt' - - '!*.md' - - '!RELEASE_CHECKLIST' - - '!BUGS' - - '!changelog' - - '!README.template' - - '!appveyor.yml' - - '!tools/**' - - '!linux/**' - - '!macos/**' - - '!windows/**' - - '!man/**' + ignore-paths: + - 'doc/**' + - 'MANUAL.txt' + - '*.md' + - 'RELEASE_CHECKLIST' + - 'BUGS' + - 'changelog' + - 'README.template' + - 'appveyor.yml' + - 'tools/**' + - 'linux/**' + - 'macos/**' + - 'windows/**' + - 'man/**' pull_request: - paths: - - '*' - - '!doc/**' - - '!MANUAL.txt' - - '!*.md' - - '!RELEASE_CHECKLIST' - - '!BUGS' - - '!changelog' - - '!README.template' - - '!appveyor.yml' - - '!tools/**' - - '!linux/**' - - '!macos/**' - - '!windows/**' - - '!man/**' + ignore-paths: + - 'doc/**' + - 'MANUAL.txt' + - '*.md' + - 'RELEASE_CHECKLIST' + - 'BUGS' + - 'changelog' + - 'README.template' + - 'appveyor.yml' + - 'tools/**' + - 'linux/**' + - 'macos/**' + - 'windows/**' + - 'man/**' jobs: linux: |