diff --git a/build_tools/github_actions/lint_whitespace_checks.sh b/build_tools/github_actions/lint_whitespace_checks.sh index 77e6e3d6bb9..cc4fa32657b 100755 --- a/build_tools/github_actions/lint_whitespace_checks.sh +++ b/build_tools/github_actions/lint_whitespace_checks.sh @@ -40,7 +40,7 @@ if [[ $# -ne 0 ]] ; then fi echo "Gathering changed files..." -mapfile -t CHANGED_FILES < <(git diff "$BASE_BRANCH" HEAD --name-only --diff-filter=d | grep '.*\.cpp$\|.*\.h$\|.*\.md$\|.*\.mlir$\|.*\.sh$\|.*\.td$\|.*\.txt$\|.*\.yml$\|.*\.yaml$') +mapfile -t CHANGED_FILES < <(git diff "$BASE_BRANCH" HEAD --name-only --diff-filter=d | grep -Ev '.*\.(bc|png|svg)$') if (( ${#CHANGED_FILES[@]} == 0 )); then echo "No files to check." exit 0