mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Also run check in case there are changes in the rustdoc-gui tools

Browse Source
This commit is contained in:
Guillaume Gomez 2021-05-12 00:20:08 +02:00
parent 3994406eca
commit 52f795b772
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/ci/scripts/should-skip-this.sh
View File

@ -26,8 +26,10 @@ elif ! git diff --quiet "$BASE_COMMIT" -- src/tools/clippy src/tools/rustfmt; th
# There is not an easy blanket search for subtrees. For now, manually list
# the subtrees.
echo "Executing the job since clippy or rustfmt subtree was updated"
elif (git diff --name-only HEAD^ | grep --quiet src/test/rustdoc-gui) || \
(git diff --name-only HEAD^ | grep --quiet src/librustdoc); then
elif ! (git diff --quiet "$BASE_COMMIT" -- \
src/test/rustdoc-gui \
src/librustdoc \
src/tools/rustdoc-gui); then
# There was a change in either rustdoc or in its GUI tests.
echo "Executing the job since rustdoc was updated"
else