Skip to content

Commit d847299

Browse files
Run tools builder on subtree changes
1 parent 0256d06 commit d847299

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

src/ci/scripts/should-skip-this.sh

+4
Original file line numberDiff line numberDiff line change
@@ -14,6 +14,10 @@ elif git diff HEAD^ | grep --quiet "^index .* 160000"; then
1414
# Submodules pseudo-files inside git have the 160000 permissions, so when
1515
# those files are present in the diff a submodule was updated.
1616
echo "Executing the job since submodules are updated"
17+
elif git diff --name-only HEAD^ | grep --quiet src/tools/clippy; then
18+
# There is not an easy blanket search for subtrees. For now, manually list
19+
# clippy.
20+
echo "Executing the job since clippy subtree was updated"
1721
else
1822
echo "Not executing this job since no submodules were updated"
1923
ciCommandSetEnv SKIP_JOB 1

0 commit comments

Comments
 (0)