diff options
| author | Dan Allen <dan.j.allen@gmail.com> | 2022-05-16 19:47:37 -0600 |
|---|---|---|
| committer | Dan Allen <dan.j.allen@gmail.com> | 2022-05-16 19:47:37 -0600 |
| commit | ed6e211c14e4d026264dd2665e1dc20c1749d211 (patch) | |
| tree | 850e2033072dc0f91f13b6a87329791cb66625cc /.github | |
| parent | 3b1467b8334e76b90cb8365bcdd19c5c87b77c23 (diff) | |
don't run CI for pushes and pull requests with only changes to docs [no ci]
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2a69a9aa..199d59d8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,7 +3,9 @@ on: push: branches: ['**'] tags-ignore: ['**'] + paths-ignore: ['*.adoc', 'docs/**'] pull_request: + paths-ignore: ['*.adoc', 'docs/**'] schedule: - cron: '0 2 * * *' concurrency: @@ -14,7 +16,7 @@ jobs: activate: if: | (github.event_name == 'schedule' && github.repository_owner == 'asciidoctor') || - (github.event_name == 'push' && !startsWith(github.event.head_commit.message, '[docs]')) || + github.event_name == 'push' || (github.event_name == 'pull_request' && !startsWith(github.head_ref, 'docs/')) runs-on: ubuntu-latest steps: |