diff --git a/check-changed.sh b/check-changed.sh index c546cb5a740f..68fa463d60a4 100644 --- a/check-changed.sh +++ b/check-changed.sh @@ -9,10 +9,11 @@ else fi echo $CHANGED_FILES DOCS_DIR="docs/" +GITHUB_DIR=".github/" SKIP_TEST=true for CHANGED_FILE in $CHANGED_FILES; do - if ! [[ $CHANGED_FILE =~ $DOCS_DIR ]] ; then + if ! [[ $CHANGED_FILE =~ $DOCS_DIR ]] && ! [[ $CHANGED_FILE =~ $GITHUB_DIR ]] ; then SKIP_TEST=false break fi