diff --git a/testing/web-platform/tests/.github/workflows/documentation.yml b/testing/web-platform/tests/.github/workflows/documentation.yml
index 8b892ba88ea0..400722f79219 100644
--- a/testing/web-platform/tests/.github/workflows/documentation.yml
+++ b/testing/web-platform/tests/.github/workflows/documentation.yml
@@ -2,6 +2,10 @@ on:
   push:
     branches:
       - master
+    paths:
+      - 'docs/**'
+      - 'resources/**'
+      - 'tools/**'
   pull_request:
     paths:
       - 'docs/**'
diff --git a/testing/web-platform/tests/tools/ci/website_build.sh b/testing/web-platform/tests/tools/ci/website_build.sh
index e99fcb0cc9fb..d23829f0bcda 100755
--- a/testing/web-platform/tests/tools/ci/website_build.sh
+++ b/testing/web-platform/tests/tools/ci/website_build.sh
@@ -25,20 +25,6 @@ function targets_master {
   test $(json_property ${GITHUB_EVENT_PATH} ref) == 'refs/heads/master'
 }
 
-function modifies_relevant_files {
-  base_revision=$(json_property ${GITHUB_EVENT_PATH} before)
-
-  git diff --name-only ${base_revision} | \
-    grep -E --silent '^(docs|tools)/'
-}
-
-if ! modifies_relevant_files ; then
-  echo No files related to the website have been modified. Exiting without
-  echo building.
-
-  exit ${neutral_status}
-fi
-
 git config --global user.email "wpt-pr-bot@users.noreply.github.com"
 git config --global user.name "wpt-pr-bot"