diff options
author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2022-01-20 13:18:33 +0900 |
---|---|---|
committer | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2022-01-20 13:18:33 +0900 |
commit | 82b0a9004c57121239f0ad4cfd6fbe75233de228 (patch) | |
tree | 7cf71c41f57c0c29c320f4cbf3fb738835996bfa /.github | |
parent | ef2cf9245c93a0760ff4eb25dd60de981a6a05a9 (diff) |
[wasm] skip pull-requests labeled as Documentation [ci skip]
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/wasm.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml index 7dad1d15ef..4860b0d35e 100644 --- a/.github/workflows/wasm.yml +++ b/.github/workflows/wasm.yml @@ -38,7 +38,7 @@ jobs: BINARYEN_VERSION: 91 WASMTIME_VERSION: v0.33.0 runs-on: ubuntu-20.04 - if: ${{ !startsWith(github.event.head_commit.message, '[DOC]') }} + if: ${{ !startsWith(github.event.head_commit.message, '[DOC]') && !contains(github.event.pull_request.labels.*.name, 'Documentation') }} steps: - run: mkdir build working-directory: |