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/compilers.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/compilers.yml')
| -rw-r--r-- | .github/workflows/compilers.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/compilers.yml b/.github/workflows/compilers.yml index 46e1ac5e26..f074141134 100644 --- a/.github/workflows/compilers.yml +++ b/.github/workflows/compilers.yml @@ -219,7 +219,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]') )}} |