[wasm] skip pull-requests labeled as Documentation [ci skip]

haileys · Jan 20, 2022 · 82b0a90 · 82b0a90
1 parent ef2cf92
commit 82b0a90
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: