about summary refs log tree commit diff
path: root/src/ci/scripts
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume.gomez@huawei.com>2022-03-18 10:50:53 +0100
committerGuillaume Gomez <guillaume.gomez@huawei.com>2022-03-18 10:50:53 +0100
commitc8158e9f40e400c485bb96c5293d30c0b9600627 (patch)
tree4bedb930a2f7dfc1f8a076b1fe12910da00a5687 /src/ci/scripts
parent1ddbae372fce6d0fde6cdda4082ec45dc2f113d3 (diff)
downloadrust-c8158e9f40e400c485bb96c5293d30c0b9600627.tar.gz
rust-c8158e9f40e400c485bb96c5293d30c0b9600627.zip
Run rustdoc GUI tests when browser-ui-test version is updated
Diffstat (limited to 'src/ci/scripts')
-rwxr-xr-xsrc/ci/scripts/should-skip-this.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/scripts/should-skip-this.sh b/src/ci/scripts/should-skip-this.sh
index c046a6c8a26..c863f1b68c7 100755
--- a/src/ci/scripts/should-skip-this.sh
+++ b/src/ci/scripts/should-skip-this.sh
@@ -26,6 +26,7 @@ if [[ -n "${CI_ONLY_WHEN_SUBMODULES_CHANGED-}" ]]; then
              src/test/rustdoc-gui \
              src/librustdoc \
              src/ci/docker/host-x86_64/x86_64-gnu-tools/Dockerfile \
+             src/ci/docker/host-x86_64/x86_64-gnu-tools/browser-ui-test.version \
              src/tools/rustdoc-gui); then
         # There was a change in either rustdoc or in its GUI tests.
         echo "Rustdoc was updated"