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/yjit-ubuntu.yml | |
parent | d0be77fb2df8a5a472a3dafee77f2b448cc064a6 (diff) |
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/yjit-ubuntu.yml')
-rw-r--r-- | .github/workflows/yjit-ubuntu.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/yjit-ubuntu.yml b/.github/workflows/yjit-ubuntu.yml index ab4ba4d9e2..cb11061a15 100644 --- a/.github/workflows/yjit-ubuntu.yml +++ b/.github/workflows/yjit-ubuntu.yml @@ -117,7 +117,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]') )}} |