This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 1 file changed +11
-7
lines changed Expand file tree Collapse file tree 1 file changed +11
-7
lines changed Original file line number Diff line number Diff line change 66set -euo pipefail
77IFS=$' \n\t '
88
9+ source " $( cd " $( dirname " $0 " ) " && pwd) /../shared.sh"
10+
11+ if [[ -z " ${CI_ONLY_WHEN_SUBMODULES_CHANGED+x} " ]]; then
12+ echo " Executing the job since there is no skip rule in effect"
13+ exit 0
14+ fi
15+
916git fetch " https://github.com/$GITHUB_REPOSITORY " " $GITHUB_BASE_REF "
1017BASE_COMMIT=" $( git merge-base FETCH_HEAD HEAD) "
1118
1219echo " Searching for toolstate changes between $BASE_COMMIT and $( git rev-parse HEAD) "
13- source " $( cd " $( dirname " $0 " ) " && pwd) /../shared.sh"
1420
15- if [[ -z " ${CI_ONLY_WHEN_SUBMODULES_CHANGED+x} " ]]; then
16- echo " Executing the job since there is no skip rule in effect"
17- elif git diff " $BASE_COMMIT " | grep --quiet " ^index .* 160000" ; then
21+ if git diff " $BASE_COMMIT " | grep --quiet " ^index .* 160000" ; then
1822 # Submodules pseudo-files inside git have the 160000 permissions, so when
1923 # those files are present in the diff a submodule was updated.
2024 echo " Executing the job since submodules are updated"
21- elif git diff --name-only " $BASE_COMMIT " | grep --quiet src/tools/' \( clippy\| rustfmt\) ' ; then
25+ elif ! git diff --quiet " $BASE_COMMIT " -- src/tools/clippy src/tools/ rustfmt; then
2226 # There is not an easy blanket search for subtrees. For now, manually list
23- # clippy .
27+ # the subtrees .
2428 echo " Executing the job since clippy or rustfmt subtree was updated"
2529else
26- echo " Not executing this job since no submodules were updated"
30+ echo " Not executing this job since no submodules nor subtrees were updated"
2731 ciCommandSetEnv SKIP_JOB 1
2832fi
You can’t perform that action at this time.
0 commit comments