diff options
author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2024-03-11 12:29:13 +0900 |
---|---|---|
committer | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2024-03-11 12:29:13 +0900 |
commit | 2552984a86d3c5274154826f239a583b20b166ca (patch) | |
tree | fb926fe3915b8fe7882558f56e224968c490fe7e /.github/workflows/rjit.yml | |
parent | d0be77fb2df8a5a472a3dafee77f2b448cc064a6 (diff) | |
download | ruby-2552984a86d3c5274154826f239a583b20b166ca.tar.gz |
Skip documentation changes
Many contributors just include the word `documentation` in titles, but
not utilize `[DOC]` tag or `Documentation` label.
Diffstat (limited to '.github/workflows/rjit.yml')
-rw-r--r-- | .github/workflows/rjit.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/rjit.yml b/.github/workflows/rjit.yml index 86610d6bc0..5fe25c0afb 100644 --- a/.github/workflows/rjit.yml +++ b/.github/workflows/rjit.yml @@ -47,7 +47,9 @@ jobs: if: >- ${{!(false || contains(github.event.head_commit.message, '[DOC]') + || contains(github.event.head_commit.message, 'Documentation') || contains(github.event.pull_request.title, '[DOC]') + || contains(github.event.pull_request.title, 'Documentation') || contains(github.event.pull_request.labels.*.name, 'Documentation') || (github.event_name == 'push' && github.actor == 'dependabot[bot]') )}} |